11 relações: Axioma da escolha, Epimorfismo (teoria das categorias), Lógica categórica, Lógica intuicionista, Objeto exponencial, Produto categorial, Semânticas de Kripke, Separador (teoria das categorias), Teoria das categorias, Topos, Topos de Grothendieck.
Axioma da escolha
Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".
Novo!!: Linguagem de Mitchell–Bénabou e Axioma da escolha · Veja mais »
Epimorfismo (teoria das categorias)
Na teoria das categorias, epimorfismo generaliza o conceito de funções sobrejetivas ou de imagens "suficientemente grandes".
Novo!!: Linguagem de Mitchell–Bénabou e Epimorfismo (teoria das categorias) · Veja mais »
Lógica categórica
Lógica categórica é uma ramificação da teoria categórica dentro da matemática, adjacente a lógica matemática, mas mais notável pela sua conexão com a teoria da computação.
Novo!!: Linguagem de Mitchell–Bénabou e Lógica categórica · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Linguagem de Mitchell–Bénabou e Lógica intuicionista · Veja mais »
Objeto exponencial
Na teoria das categorias, um objeto exponencial é um objeto que representa o conjunto de morfismos entre dois objetos, de modo que generaliza a ideia de espaço funcional.
Novo!!: Linguagem de Mitchell–Bénabou e Objeto exponencial · Veja mais »
Produto categorial
Diagrama comutativo do produto categorial O produto categorial é uma generalização categorial do produto cartesiano.
Novo!!: Linguagem de Mitchell–Bénabou e Produto categorial · Veja mais »
Semânticas de Kripke
Uma semântica de Kripke - também conhecida como semântica relacional ou semântica de estruturas, e muitas vezes confundida com semântica de mundos possíveis - é uma semântica formal para sistemas lógicos não-clássicos criados no final dos anos 1950 e início dos anos 1960 por Saul Kripke.
Novo!!: Linguagem de Mitchell–Bénabou e Semânticas de Kripke · Veja mais »
Separador (teoria das categorias)
Na teoria das categorias, um separador, família separadora, gerador ou família geradora para uma categoria é uma família de objetos de, tal que, para quaisquer morfismos paralelos em que sejam "indistinguíveis por morfismos a partir de ", isto é, então.
Novo!!: Linguagem de Mitchell–Bénabou e Separador (teoria das categorias) · Veja mais »
Teoria das categorias
Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.
Novo!!: Linguagem de Mitchell–Bénabou e Teoria das categorias · Veja mais »
Topos
Na matemática, topos elementares (ou brevemente topos) podem ser analisados à base de diversas perspectivas.
Novo!!: Linguagem de Mitchell–Bénabou e Topos · Veja mais »
Topos de Grothendieck
Na teoria das categorias, um topos de Grothendieck é uma categoria de feixes num sítio; a grosso modo, um feixe é uma família de conjuntos parametrizada por uma categoria pequena, satisfazendo uma propriedade de "amalgamação".
Novo!!: Linguagem de Mitchell–Bénabou e Topos de Grothendieck · Veja mais »