In the general sense, superalgebra is the study of (higher) algebra internal to the symmetric monoidal category of Z2-graded vector spaces (super vector spaces); equivalently over the base topos on superpoints. More specifically, a supercommutative superalgebra is an commutative algebra in the context of superalgebra. See at geometry of physics – superalgebra for more on this Associative superalgebra as monoids in the symmetric monoidal category of super vector spaces. Then we pass to the perspective of Algebra in the topos over superpoints and consider systematically algebra in the sheaf topos over the site of superpoints and show how this reproduces and generalizes the previous notions.