On full embeddings. I

DOI10.1016/0022-4049(80)90015-8zbMath0449.18001OpenAlexW1980007412MaRDI QIDQ1147215

Michael Makkai

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90015-8

zbMATH Keywords

regular categoryBarr's theoremfull, faithful and regular functormany sorted model theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categorical logic, topoi (03G30) Embedding theorems, universal categories (18B15) Unary algebras (08A60) Functor categories, comma categories (18A25)

Related Items (6)

Representation of categories ⋮ Stone duality for first order logic ⋮ Strong conceptual completeness for first-order logic ⋮ Full Continuous Embeddings of Toposes ⋮ Syntactic characterization of closure under connected limits ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness results for intuitionistic and modal logic in a categorical setting
• Model theory
• Exact categories and categories of sheaves
• Full Continuous Embeddings of Toposes
• Elementary Properties of Inductive Limits

This page was built for publication: On full embeddings. I