Pesquisa · Mapa mental
Categoria vírgula
Na teoria das categorias, uma categoria vírgula é uma categoria cujos objetos correspondem a certos morfismos de outra categoria. Sua definição foi introduzida por William Lawvere, em 1963; o nome provém de uma de suas notações, que usa o sinal de pontuação vírgula.
Para quaisquer functores F : A → C e G : B → C, pode-se formar a categoria de vírgula F ↓ G, também denotada por (F ↓ G) e por (F, G), para a qual:
Dados functores F : A → C e G : B → C, a categoria vírgula F ↓ G:
