Example 2.14.
Let \(T\) be a topos. Given an anima \(A \in \An\), we obtain an equivalence
\[\Fun(A,T) \quad=\quad \lim_A T_{/*} \quad\simeq\quad T_{/\,\colim_A *}.\]
We refer to this equivalence as the Grothendieck construction.
Example 2.14.
Let \(T\) be a topos. Given an anima \(A \in \An\), we obtain an equivalence
We refer to this equivalence as the Grothendieck construction.