Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

CMCS'01 Preliminary Version From Varieties of Algebras to Covarieties

Summary: CMCS'01 Preliminary Version
From Varieties of Algebras to Covarieties
of Coalgebras
Jir Adamek 1;2
Department of Theoretical Computer Science
Technical University of Braunschweig
Braunschweig, Germany
Hans{E. Porst 3;4
Department of Mathematics
University of Bremen
Bremen, Germany
Varieties of F -algebras with respect to an endofunctor F on an arbitrary cocomplete
category C are de ned as equational classes admitting free algebras. They are
shown to correspond precisely to the monadic categories over C. Under suitable
assumptions satis ed in particular by any endofunctor on Set and Set op the Birkho
Variety Theorem holds. By dualization, covarieties over complete categories C are
introduced, which then correspond to the comonadic categories over C, and allow
for a characterization in dual terms of the Birkho Variety Theorem. Moreover, the
well known conditions of accessibilitly and boundedness for Set-functors F , suÆcient


Source: Adámek, Jiri - Institut für Theoretische Informatik, Fachbereich Mathematik und Informatik, Technische Universität Braunschweig


Collections: Computer Technologies and Information Sciences