## 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...

In my previous post “Category theory notes 17: Reflective subcategory (Part 1)” I discussed the similarity and distinction between linguistic and mathematica...

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...

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...

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...

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...