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.
    • CommentAuthorUrs
    • CommentTimeApr 20th 2017
    • (edited Apr 20th 2017)

    I have substantially expanded the exposition at diagram. In the section Diagrams shaped like categories.

    First I expanded on the quick functorial definition of diagrams and their ((co-)limiting) (co-cones) and then I added a detailed component-based definition meant for readers not fluent in unwinding the former definition.

    Haven’t proof-read yet, as my battery is dying now.