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 given free category its own little entry. This used to be (and still is) the topic of one subsection at path category, but I feel that for pointing people to just the plain concept of a free category, the entry “path category” is not focused enough. But both entries remain cross-linked, so the reader may still explore further, if desired.
Changed the wording to fix the size issues:
More formally, there is a forgetful functor from the category of small categories to that of directed graphs, and the free category construction is the left adjoint to this functor.
1 to 9 of 9