scientific article; zbMATH DE number 3536298
From MaRDI portal
Publication:4111746
zbMath0344.18002MaRDI QIDQ4111746
Horst Herrlich, Bernhard Banaschewski
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Special categories (18B99) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Varieties (08B99) Categories and theories (18C99) Generalities in topology (54A99) Algebraic structures (08Axx)
Related Items (37)
Fuzzy Horn logic. II. Implicationally defined classes. ⋮ Unnamed Item ⋮ Generalized varieties ⋮ Classes closed under isomorphisms, retractions, and products ⋮ On the existence of free models in abstract algebraic institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ The intersection of algebra and coalgebra ⋮ Fraïssé limits in comma categories ⋮ Elementary categories ⋮ Class-locally presentable and class-accessible categories ⋮ Lattices of subclasses ⋮ New perspectives on semi-primal varieties ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ Universal topological algebra needs closed topological categories ⋮ From Varieties of Algebras to Covarieties of Coalgebras ⋮ Modal Operators for Coequations ⋮ Modal Rules are Co-Implications ⋮ On a problem of Gabriel and Ulmer ⋮ Unnamed Item ⋮ On quasivarieties and varieties as categories ⋮ Initial morphisms in universal algebra ⋮ Zum Satz von Freyd und Kelly ⋮ How many variables does a quasivariety need? ⋮ Unnamed Item ⋮ Classes defined by implications ⋮ Almost reflective subcategories of \(\mathbf T \mathbf o \mathbf p\) ⋮ How accessible are categories of algebras? ⋮ Epimorphisms, definability and cardinalities ⋮ Some Co-Birkhoff Type Theorems ⋮ Factorization systems and fibrations ⋮ Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras ⋮ A logic of implications in algebra and coalgebra ⋮ On notions of factorization systems and their applications to cone- injective subcategories ⋮ Characterizing specification languages which admit initial semantics ⋮ P-varieties - a signature independent characterization of varieties of ordered algebras ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ Models of Horn theories revisited
This page was built for publication: