I'm learning about topos theory and its many uses in (intuitionistic) logic. The definition of an elementary topos $\mathbf{C}$ requires the category to have exponentiation, that is, given $\mathbf{C}$-objects $A$ and $B$, there exists another $\mathbf{C}$-object $B^A$ which is "the object of all...
00:00 - 17:0017:00 - 00:00
00:00 - 17:0017:00 - 00:00