Ryan Kavanagh's /dev/brain
CV
Blog
Publications
Projects
Contact
Pages tagged “Sheaves”
Presheaf categories are Cartesian closed