Partial Horn logic and Cartesian categories

DOI10.1016/J.APAL.2006.10.001MaRDI QIDQ866572zbMATH OpenOpenAlexFDO

Authors 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

Cartesian theoryclassifying categoryessentially algebraicfree algebrapartial algebrasyntactic category

Mathematics Subject Classification ID

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

Recommendations

• Classifying categories for partial equational logic
• Partiality, cartesian closedness, and toposes
• scientific article; zbMATH DE number 1678378
• Near-equational and equational systems of logic for partial functions. I
• scientific article; zbMATH DE number 4108981

Cites work

• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Aspects of topoi
• Cartesian logic
• Computable and Continuous Partial Homomorphisms on Metric Partial Algebras
• scientific article; zbMATH DE number 3853166 (Why is no real title available?)
• scientific article; zbMATH DE number 3819805 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 4006266 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3783237 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 3550919 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Left exact logic
• On limit-preserving functors
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Topical categories of domains
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Variations on algebra: Monadicity and generalisations of equational theories

Cited in

(41)

• The connected Vietoris powerlocale
• Universal monos in partial morphism categories
• Left exact logic
• Fast left Kan extensions using the chase
• Equational logic and categorical semantics for multi-languages
• Covariant isotropy of Grothendieck toposes and extensive categories
• Graded Hoare logic and its categorical semantics
• Pullback in partial morphism categories
• Internal enriched categories
• A variety theorem for relational universal algebra
• The maximality of Cartesian categories
• scientific article; zbMATH DE number 1678378 (Why is no real title available?)
• Continuity and geometric logic
• Classifying categories for partial equational logic
• Type classes for mathematics in type theory
• Unitary theories, unitary categories
• Relevant categories and partial functions
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• Triangular Logic of Partial Toposes
• An induction principle for consequence in arithmetic universes
• scientific article; zbMATH DE number 1361520 (Why is no real title available?)
• Categorical concepts for parameterized partial specifications
• Model structures on categories of models of type theories
• Canonicity and homotopy canonicity for cubical type theory
• On generalized algebraic theories and categories with families
• Homotopy canonicity for cubical type theory
• Fibrations of AU-contexts Beget fibrations of toposes
• CATEGORICAL HARMONY AND PATH INDUCTION
• Reduction Free Normalisation for a proof irrelevant type of propositions
• Inner automorphisms of presheaves of groups
• Cosheaves and connectedness in formal topology
• Categorical Horn theories and modules
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Filtered colimit elimination from Birkhoff's variety theorem
• Duality beyond sober spaces: Topological spaces and observation frames
• Categories of sets with infinite addition
• Relativized universal algebra via partial Horn logic
• An extension of Batanin's approach to globular algebras
• Duality for clans: an extension of Gabriel-Ulmer duality
• A logical approach to stable domains
• Introduction to Turing categories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866572)