Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
A while ago, we had some brief discussion on potential higher structures in categorical probability theory. We now have a definition of a certain abstract categorical structure which captures these phenomena and also many other examples. See the current working document.
Differently from “ordinary” higher category theory, composition in our “compositories” has the property that composing an $n$-morphism with an $m$-morphism along a common $k$-morphism face results in an $(n+m-k)$-morphism. We believe that this kind of composition is a natural structure which arises in many situations. Think, for example, of the nerve of a category, in which sequences of composable morphisms can simply be concatenated. Other examples arise from mathematical structures which can be glued along pairwise intersection, even though the general sheaf condition fails; this applies e.g. to the presheaf of metrics on a set.
Compositories may also provide a potential answer to Urs’ question on hyperstructures and higher spans.
Now the questions are:
Thanks for any feedback!
1 to 1 of 1