Ryan Kavanagh's /dev/brain
CV
Blog
Teaching
Research
Projects
Contact
Pages tagged “Academia”
On mathematical folklore
Presheaf categories are Cartesian closed
The Yoneda Lemma
On terminal objects and colimits
Brouwer: Unreliability of the Logical Principles
Kushner: Markov's Constructive Mathematical Analysis