Extensivity of categories of relational structures

zbMATH Open1492.18004arXiv2204.10918MaRDI QIDQ5095255FDOQ5095255

Authors: Jason Parker 

Publication date: 5 August 2022

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.

Full work available at URL: https://arxiv.org/abs/2204.10918

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

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

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)

Cites Work

• Title not available (Why is that?)
• Abstract and concrete categories: the joy of cats
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concrete categories and infinitary languages
• Metric spaces, generalized logic, and closed categories
• Introduction to extensive and distributive categories
• Title not available (Why is that?)
• Probabilistic metric spaces as enriched categories
• Monoidal topology. A categorical approach to order, metric, and topology
• Metagories
• Universality of coproducts in categories of lax algebras
• Title not available (Why is that?)

Cited In (11)

• Diextensions et panextensions de catégories
• Selective categories and linear canonical relations
• Categories of relations and functional relations
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• Title not available (Why is that?)

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)