Distributivity of categories of coalgebr
β
H.Peter Gumm; Jesse Hughes; Tobias SchrΓΆder
π
Article
π
2003
π
Elsevier Science
π
English
β 384 KB
For any Set-endofunctor F, the category SetF of F-coalgebras has preimages, i.e. pullbacks along an injective map. If F preserves preimages, then SetF is distributive, and the converse holds, whenever SetF has ΓΏnite products.