Birkhoff-Frink representations as functors
Publication:3560968
DOI10.1002/mana.200610832zbMath1193.08003OpenAlexW2053808291MaRDI 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 pointfibrationmany-sorted algebramany-sorted signatureBirkhoff-Frink representation theoremsEhresmann-Grothendieck constructionmany-sorted closure space
Abstract data types; algebraic specification (68Q65) Operations and polynomials in algebraic structures, primal algebras (08A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Heterogeneous algebras (08A68)
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Birkhoff-Frink representations as functors