Extensivity of categories of relational structures

MaRDI QIDQ5095255zbMATH OpenFDO

Authors Jason Parker

Publication date 5 August 2022

Full work available at URL https://arxiv.org/abs/2204.10918, http://www.tac.mta.ca/tac/volumes/38/23/38-23abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

locally presentable categorytopological categoryconcrete categoryextensive categorydistributive categoryrelational Horn theory

Mathematics Subject Classification ID

Partial orders, general (06A06) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Quantales (06F07) Extensive, distributive, and adhesive categories (18B50)

Abstract: We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and the categories of small $mathscrV$-categories, (symmetric) pseudo-$mathscrV$-metric spaces, and (symmetric) $mathscrV$-metric spaces for a commutative unital quantale $mathscrV$. We also explicitly characterize initial sources and final sinks in such categories, and in particular embeddings and quotients.

Recommendations

• scientific article; zbMATH DE number 7692246
• Publication:3469267
• Publication:4886951
• scientific article; zbMATH DE number 1189289
• scientific article; zbMATH DE number 3975170
• scientific article; zbMATH DE number 1953897
• scientific article; zbMATH DE number 1284147
• Cartesian closedness in categories of relational systems
• Categories of relations and functional relations
• Relational Sets and Categorical Equivalence of Algebras

Cites work

• scientific article; zbMATH DE number 3870293 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 7377652 (Why is no real title available?)
• Abstract and concrete categories: the joy of cats
• Concrete categories and infinitary languages
• Introduction to extensive and distributive categories
• Metagories
• Metric spaces, generalized logic, and closed categories
• Monoidal topology. A categorical approach to order, metric, and topology
• Probabilistic metric spaces as enriched categories
• Universality of coproducts in categories of lax algebras

Cited in

(11)

• Selective categories and linear canonical relations
• Categories of relations and functional relations
• Diextensions et panextensions de catégories
• scientific article; zbMATH DE number 108357 (Why is no real title available?)
• Rosen's modelling relations via categorical adjunctions
• Determinisation of relational substitutions in ordered categories with domain
• Preserving categoricity and complexity of relations
• Optionality, scope, and licensing: An application of partially ordered categories
• scientific article; zbMATH DE number 1953897 (Why is no real title available?)
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• scientific article; zbMATH DE number 7692246 (Why is no real title available?)

This page was built for publication: Extensivity of categories of relational structures

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