From hereditary classes to varieties in abstract model theory and partial algebra
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Generalization of the concept of variety and quasivariety to partial algebras through category theory
CONTENTSIntroduction ................................................................................................5§1. The purely category theoretical version of Birkhoff's theorem................7§2. Category theoretical study of generalized identities............................19§3. Generalized identities in partial algebras.............................................29§4. Calculus...............................................................................................41§5. Examples.............................................................................................47§6....
Direct limits and filtered colimits are strongly equivalent in all categories
Page 1