« first day (1285 days earlier)      last day (1052 days later) » 

Shaun
Shaun
10:03 PM
The following question was downvoted and I don't know why.
-1
Q: Show that $T^S$ with an evaluation is indeed the exponential in the functor category $\hat{\mathbf{C}}=\mathbf{Sets}^{\mathbf{C}^{{\rm op}}}.$

ShaunI'd like to apologise in advance for the mixture of different notations. This is Exercise I.8 of Mac Lane and Moerdijk's, "Sheaves in Geometry and Logic [. . .]". According to Approach0, this is new to MSE. The Question: Consider a small category $\mathbf{C}$. For each object $B$ of $\math...

category-theory topos-theory functors
 

« first day (1285 days earlier)      last day (1052 days later) »