|
Organizers |
Covarieties of coalgebras
by
Hans-E. Porst
University of Bremen
Coauthors: J. Adámek
Covarieties w.r.t. to an endofunctor F on a complete category C are introduced, characterized, and shown to correspond precisely to the comonadic categories over C. Examples include so-called categories of systems (over Set) and k-coalgebras over Vectk (k a field). It will be shown that, in interesting cases, but not in general, F-covarieties are locally finitely presentable categories provided that F is a finitely accessible functor.
Date received: May 19, 2002
Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cajf-18.