Category theory notes 18: Reflective subcategory (Part 2)
In my previous post “Category theory notes 17: Reflective subcategory (Part 1)” I discussed the similarity and distinction between linguistic and mathematica...
Recent posts
Category theory notes 17: Reflective subcategory (Part 1)
So far in this series I’ve viewed a category as an individual and independent entity. Two categories may be related by functors or even better connected by a...
Category theory notes 16: Yoneda lemma (Part 3)
In the previous two posts, “Category theory notes 14: Yoneda lemma (Part 1)” and “Category theory notes 15: Yoneda lemma (Part 2),” I started a task of decip...
Category theory notes 15: Yoneda lemma (Part 2)
In the previous post “Category theory notes 14: Yoneda lemma (Part 1)” I began writing about IMHO the most challenging part in basic category theory, the Yon...
Category theory notes 14: Yoneda lemma (Part 1)
Awodey calls it “the single most used result” of category theory (Category Theory, p. 185), Crole regards it as “an indispensable tool which every category t...