Ryan Kavanagh's /dev/brain
CV
Blog
Teaching
Research
Projects
Contact
Pages tagged “Category Theory”
On mathematical folklore
Presheaf categories are Cartesian closed
The Yoneda Lemma
On terminal objects and colimits