Categoria de elementos – Wikipédia, a enciclopédia livre

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 .[1]

Referências

  1. (Riehl, §2.4)
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.