General Functorial Semantics, I
From MaRDI portal
Publication:3880994
DOI10.2307/2374638zbMath0439.18009OpenAlexW2320389486MaRDI QIDQ3880994
Publication date: 1972
Published in: American Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2374638
Related Items
Nice separation axioms ⋮ Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Unnamed Item ⋮ On reflective subcategories of varieties ⋮ Stone dualities from opfibrations ⋮ A unified framework for notions of algebraic theory ⋮ Dualities between nets and automata induced by schizophrenic objects ⋮ New-from-old full dualities via axiomatisation ⋮ Galois connections categorically ⋮ Adjoining an identity to a reduced Archimedean \(f\)-ring. II: Algebras ⋮ Unnamed Item ⋮ Stone Dualities from Opfibrations ⋮ Structure-semantics relation for non-varietal equational theories ⋮ Algebraic categories with few monoidal biclosed structures or none ⋮ Concrete categories and infinitary languages ⋮ Pluri-adjoints and preservation of finite limits ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Unnamed Item ⋮ Algebraic extensions of an archimedean lattice-ordered group. I ⋮ Unnamed Item ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures ⋮ Unnamed Item ⋮ Groups of Dualities ⋮ On the relationship between composite and tensor product triples ⋮ The category of complete lattices as a category of algebras ⋮ Large algebraic theories with small algebras ⋮ Remarks on Colocalization and Equivalence
