Abstract
If F : Set → Set is a functor which is bounded and preserves weak generalized pullbacks then a class of F-coalgebras is a covariety, i.e., closed under H (homomorphic images), S (sub-coalgebras) and ∑ (sums), if and only if it can be defined by a set of “coequations”. Similarly, quasi-covarieties, i.e., classes closed under H and ∑, can be characterized by implications of coequations. These results are analogous to the theorems of Birkhoff and of Mal'cev in classical universal algebra.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
