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.
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.
1 to 1 of 1