Categoria de elementos

Na teoria das categorias, a categoria de elementos de um functor $F:C\to 𝖲𝖾𝗍$, denotada por $\int F$, é a categoria:

• cujos objetos são as duplas $(c,x)$ para $c$ objeto de $C$ e $x\in F(c)$;
• cujos morfismos $(c,x)\to (d,y)$ são os morfismos $f:c\to d$ em $C$ tais que $F(f)(x)=y$;
• e com identidade e composição sendo as mesmas que em $C$.

Bibliografia

• Predefinição:Citar livro