Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorceciliaflori
    • CommentTimeMay 8th 2013

    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 nn-morphism with an mm-morphism along a common kk-morphism face results in an (n+mk)(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:

    1. has anyone looked at these kind of structures before?
    2. is there a simple way to reformulate them in ordinary (higher) categorical terms?
    3. can you think of other examples?
    4. would it make sense to develop “compositorial” analogues of category-theoretical concepts like limits, adjunctions, etc.?

    Thanks for any feedback!