Normal categories are pointed categorical counterparts of 0-regular varieties, i.e., varieties where each congruence is uniquely determined by the equivalence class of a fixed constant 0. In this paper, we… Click to show full abstract
Normal categories are pointed categorical counterparts of 0-regular varieties, i.e., varieties where each congruence is uniquely determined by the equivalence class of a fixed constant 0. In this paper, we give a new axiomatic approach to normal categories, which uses self-dual axioms on a functor defined using subobjects of objects in the category. We also show that a similar approach can be developed for 0-regular varieties, if we replace subobjects with subsets of algebras containing 0.
               
Click one of the above tabs to view related content.