/tags/sheaves/ Recent content in Sheaves on Ryan Kavanagh's /dev/brain Hugo en-CA Wed, 24 Aug 2016 17:40:00 -0400 /blog/2016-08-24-presheaf-categories-are-cartesian-closed/ Wed, 24 Aug 2016 17:40:00 -0400 /blog/2016-08-24-presheaf-categories-are-cartesian-closed/ \(\gdef{\Hom}{\mathsf{Hom}}\) \(\gdef{\C}{\mathbf{C}}\) \(\gdef{\hC}{\hat\C}\) As I’ve been working through “Sheaves in Geometry and Logic”, I’ve been skimming proofs and attempting to rederive them. I normally end up with a better understanding of the material, but sometimes I get stuck. Here’s one case where I’ve gotten stuck: can anybody tell me why the counit for the exponential is universal? In particular, I can’t manage to show the uniqueness of \(\phi’\) at the end of the proof.