We give a brief summary of the Horn variety, quasivariety and Birkhoff variety theorems (using the H, S, P and P+ closure operators) for categories of algebras for an endofunctor and dualize these results to yield formally dual theorems for categories of coalgebras. While the notions of coequations and conditional …
read moreOther presentations
Page 1 / 1