2022/04/22 by Jason Parker, Parker, Jason
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.2204.10918
openalex publication_date 2022/04/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.