Compositories and Gleaves

MaRDI QIDQ2953828zbMATH OpenFDO

Authors Cecilia Flori, Tobias Fritz

Publication date 6 January 2017

Full work available at URL https://arxiv.org/abs/1308.6548, http://www.emis.de/journals/TAC/volumes/31/33/31-33abs.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

conditional product distributionhigher spanLawvere metric spacenerve of a categoryrelational databasesheaf theoryuniqueness of gluing

Mathematics Subject Classification ID

General theory of categories and functors (18A99) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the theory of "gleaves", which are presheaves equipped with an additional "gluing operation" of compatible pairs of local sections. This generalizes the conditional product structures of Dawid and Studen'y, which correspond to gleaves on distributive lattices. Our examples include the gleaf of metric spaces and the gleaf of joint probability distributions. A result of Johnstone shows that a category of gleaves can have a subobject classifier despite not being cartesian closed. Gleaves over the simplex category $Delta$, which we call compositories, can be interpreted as a new kind of higher category in which the composition of an $m$-morphism and an $n$-morphism along a common $k$-morphism face results in an $(m+n-k)$-morphism. The distinctive feature of this composition operation is that the original morphisms can be recovered from the composite morphism as initial and final faces. Examples of compositories include nerves of categories and compositories of higher spans.

Recommendations

• scientific article; zbMATH DE number 4128787
• On Compositeness in Multicompositions
• Compositional CompCert
• Aspects of compositionality
• Compositions in the edge calculus
• Remarks on compositionality
• scientific article; zbMATH DE number 24807
• scientific article; zbMATH DE number 492834
• scientific article; zbMATH DE number 1507204
• scientific article; zbMATH DE number 2213627

Cited in

(5)

• Category-theoretic structure for independence and conditional independence
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Sheaf representation of monoidal categories
• Categories of empirical models
• Weak Cartesian properties of simplicial sets

This page was built for publication: Compositories and Gleaves

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