• Corpus ID: 248377428

Extensivity of categories of relational structures

@inproceedings{Parker2022ExtensivityOC,
  title={Extensivity of categories of relational structures},
  author={Jason Parker},
  year={2022}
}
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 V -categories, (symmetric) pseudo- V -metric spaces, and (symmetric) V -metric spaces for a commutative unital quantale V . We also explicitly characterize initial sources and final sinks in such categories, and in particular embeddings… 
View PDF on arXiv

References

SHOWING 1-10 OF 14 REFERENCES
Monads on Categories of Relational Structures
We introduce a framework for universal algebra in categories of relational structures given by finitary relational signatures and finitary or infinitary Horn theories, with the arity λ of a Horn…
Universality of Coproducts in Categories of Lax Algebras
TLDR
It is shown that any such category of lax $(T,V\,)-algebras has a concrete, coproduct preserving functor into the category of topological spaces.
Concrete categories and infinitary languages
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
  • G. M. Kelly
  • Mathematics
    Elements of ∞-Category Theory
  • 2005
Although numerous contributions from divers authors, over the past fifteen years or so, have brought enriched category theory to a developed state, there is still no connected account of the theory,…
Introduction to extensive and distributive categories
Abstract and Concrete Categories - The Joy of Cats
TLDR
This chapter discusses Categories and Functors, Topological Categories, Partial Morphisms, Quasitopoi, and Topological Universes, as well as partial Morphisms in Abstract Categories and Cartesian Closed Categories.
Probabilistic metric spaces as enriched categories
Metric spaces, generalized logic, and closed categories
SuntoIn questo articolo viene rigorosamente sviluppata l'analogia fra dist (a, b)+dist (b, c)≥dist (a, c) e hom (A, B) ⊗ hom (B, C)→ hom (A, C), giungendo a numerosi risultati generali sugli spazi…
Locally Presentable And Accessible Categories
TLDR
The locally presentable and accessible categories is universally compatible with any devices to read, and can be searched hundreds of times for their chosen readings, but end up in harmful downloads.
-Cat is extensive
  • Theory Appl. Categ
  • 2021
...
...