Fibración de Grothendieck

Una fibración de Grothendieck (o categoría fibrada) es un funtor $p:𝔼\to 𝔹$ tal que para cualquier $E\in 𝔼$ y cualquier $f:B\to p(E)$ existe un morfismo cartesiano $\varphi :E^{\prime }\to E$ tal que $p(\varphi )=f$.

Definición formal

Sea $p:𝔼\to 𝔹$ un funtor. Un morfismo $f:X\to Y$ entre objetos de $𝔼$ es cartesiano sobre el morfismo $u:I\to J$ si $p(f)=u$ y además para cualquier $g:Z\to Y$ tal que $p(g)=u\circ w$ existe un único $h:p(Z)\to J$ tal que $p(h)=w$ y $f\circ h=g$. Decimos que el funtor $p:𝔼\to 𝔹$ es una fibración de Grothendieck si para cada morfismo de la forma $u:I\to p(Y)$ existe un morfismo cartesiano sobre él.

Ejemplo

Consideramos la categoría $𝖯𝗋𝖾𝖽$ cuyos objetos son pares determinados por un conjunto y un subconjunto suyo $X\subseteq I$. Podemos interpretar cada uno de los objetos de la categoría como un predicado sobre los elementos del conjunto $I$: el predicado que cumplen sólo aquellos elementos que pertenecen al subconjunto $X$. Un morfismo desde $X\subseteq I$ hacia $Y\subseteq J$ viene determinado por una función $u:I\to J$ tal que $u(X)\subseteq Y$; es decir, que puede restringirse a $u_{|X}:X\to Y$.

La proyección $\pi :𝖯𝗋𝖾𝖽\to 𝖲𝖾𝗍$ determinada por $\pi (X\subseteq I)=I$ es una fibración de Grothendieck. Para cada morfismo $u:I\to J$ y cada predicado $(Y\subseteq J)$ podemos construir el morfismo cartesiano $u^{\ast }(Y)\to Y$ determinado por un producto fibrado de la inclusión $Y\to J$ y $u:I\to J$. Este morfismo es cartesiano debido a la propiedad universal del producto fibrado.

Referencias

• Plantilla:Cita libro

Plantilla:Control de autoridades