Birkhoff-Frink representations as functors
From MaRDI portal
Publication:3560968
DOI10.1002/mana.200610832zbMath1193.08003MaRDI QIDQ3560968
J. Soliveres Tur, Juan Climent Vidal
Publication date: 17 May 2010
Published in: Mathematische Nachrichten (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/mana.200610832
fixed point; fibration; many-sorted algebra; many-sorted signature; Birkhoff-Frink representation theorems; Ehresmann-Grothendieck construction; many-sorted closure space
68Q65: Abstract data types; algebraic specification
08A40: Operations and polynomials in algebraic structures, primal algebras
18C10: Theories (e.g., algebraic theories), structure, and semantics
08C05: Categories of algebras
08A68: Heterogeneous algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Topics in universal algebra
- On many-sorted algebraic closure operators
- Algebras with a Scheme of Operators
- Representations of Lattices by Sets
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie