Category of commutative algebras