Subcategoria (teoria das categorias)Na teoria das categorias, uma subcategoria de uma categoria C é uma categoria D:
Quando vale igualdade acima para cada dupla d, d', a subcategoria é dita plena. Há um functor de inclusão D → C, sempre fiel, e que é pleno se e só se a subcategoria é plena.[1] Esta noção, apesar de mais fácil de entender, viola o princípio de equivalência, de modo que variantes da definição possam ter mais utilidade.[2] Referências
Bibliografia
|