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.
what used to be under “Examples” was rather two illustrations of what the definition means. So I moved that to after the definition, and instead included under Examples the following pointers to classes of examples:
added some references:
Francis Borceux, §2.4 in: Handbook of Categorical Algebra Vol. 1: Basic Category Theory [doi:10.1017/CBO9780511525858]
Emily Riehl, §3.3 in: Category Theory in Context, Dover Publications (2017) [pdf, book website]
added pointer to:
1 to 3 of 3