Partial Horn logic and Cartesian categories

DOI10.1016/j.apal.2006.10.001zbMath1109.03022OpenAlexW1976800160MaRDI QIDQ866572

Erik Palmgren, S. J. Vickers

Publication date: 14 February 2007

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

Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/2919720/partialalgebras.pdf

zbMATH Keywords

free algebrapartial algebraCartesian theoryclassifying categoryessentially algebraicsyntactic category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Equational classes, universal algebra in model theory (03C05) Partial algebras (08A55)

Related Items (23)

Continuity and geometric logic ⋮ Equational logic and categorical semantics for multi-languages ⋮ Unitary Theories, Unitary Categories ⋮ Covariant isotropy of Grothendieck toposes and extensive categories ⋮ A logical approach to stable domains ⋮ Pullback in partial morphism categories ⋮ On generalized algebraic theories and categories with families ⋮ Internal enriched categories ⋮ Reduction Free Normalisation for a proof irrelevant type of propositions ⋮ Inner automorphisms of presheaves of groups ⋮ Canonicity and homotopy canonicity for cubical type theory ⋮ A variety theorem for relational universal algebra ⋮ An induction principle for consequence in arithmetic universes ⋮ Cosheaves and connectedness in formal topology ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Fibrations of AU-contexts beget fibrations of toposes ⋮ Unnamed Item ⋮ Introduction to Turing categories ⋮ Model structures on categories of models of type theories ⋮ Type classes for mathematics in type theory ⋮ The connected Vietoris powerlocale ⋮ Universal monos in partial morphism categories ⋮ Fast left Kan extensions using the chase

Cites Work

• Variations on algebra: Monadicity and generalisations of equational theories
• Left exact logic
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Cartesian logic
• On limit-preserving functors
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• Topical categories of domains
• Aspects of topoi
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial Horn logic and Cartesian categories