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.
    • CommentAuthorBen_Sprott
    • CommentTimeJul 18th 2020
    • (edited Jul 18th 2020)

    The classic way to encounter the theory of categories is via Set Theory via the typical definition we see for categories. We see all kinds of categories that are equivalent to the category of small categories. I wonder about presentations of the theory of categories. To facilitate a discussion, we may need to define what a presentation of a theory is. It may consist of a logical language or even the standard presentations of algebraic structures. For instance, a presentation of the theory of partial monoids would count as a presentation of Categories. The presentation should come with enough structure to analyze all small Categories.

    I saw Marsden put together a presentation of categories in terms of string diagrams.

    I like to think that string diagrams can be seen as containers. This is a paper about containers. So the idea is that you have a (co)monad that encodes the container for the theory of categories. Could this work?