Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
Abstract
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