Na teoria das categorias, a categoria de elementos de um functor , denotada por , é a categoria: cujos objetos são as duplas para objeto de e ; cujos morfismos são os morfismos em tais que ; e com identidade e composição sendo as mesmas que em .

Bibliografia

Categoria:Teoria das categorias