Índice
15 relações: Categoria (teoria das categorias), Categoria vírgula, Geometria algébrica, Lógica intuicionista, Lógica matemática, Lógica modal, Matemática, Produto fibrado, Soma amalgamada, Subobjeto, Teoria das categorias, Teoria dos feixes, Topos de Grothendieck, Tradução da dupla negação, William Lawvere.
- Teoria dos feixes
Categoria (teoria das categorias)
Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.
Ver Topos e Categoria (teoria das categorias)
Categoria vírgula
Na teoria das categorias, uma categoria vírgula (em inglês, comma category) é uma categoria cujos objetos correspondem a certos morfismos de outra categoria.
Geometria algébrica
Esta superfície de Togliatti é uma superfície algébrica de grau cinco A geometria algébrica é uma área da matemática que combina técnicas de álgebra abstrata, especialmente de álgebra comutativa, com a linguagem e os problemas da geometria.
Ver Topos e Geometria algébrica
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.
Ver Topos e Lógica intuicionista
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Produto fibrado
Diagrama de produto fibrado O produto fibrado (ou pullback) é uma construção de teoria das categorias.
Soma amalgamada
Soma amalgamada, no contexto de Teoria das categorias, é a noção dual ao produto fibrado.
Subobjeto
Na teoria das categorias, um ramo da matemática, um subobjeto é, grosso modo, um objeto que está dentro de outro objeto da mesma categoria.
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.
Ver Topos e Teoria das categorias
Teoria dos feixes
Em topologia, um pré-feixe \mathcal em um espaço topológico X é um funtor contravariante da categoria dos abertos de X numa categoria \mathcal.
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".
Ver Topos e Topos de Grothendieck
Tradução da dupla negação
Na teoria da prova, uma disciplina dentro da lógica matemática, tradução da dupla-negação, às vezes chamada de tradução negativa, é uma abordagem geral para a incorporação da lógica clássica na lógica intuicionista, normalmente através da tradução de fórmulas para fórmulas que são classicamente equivalentes, mas intuicionisticamente não equivalentes.
Ver Topos e Tradução da dupla negação
William Lawvere
Francis William Lawvere (Muncie, Indiana, - 23 de janeiro de 2023) foi um matemático estadunidense.
Ver também
Teoria dos feixes
- Feixe (matemática)
- Feixe invertível
- Restrição de função
- Semânticas de Kripke
- Sequência de feixe exponencial
- Topos
Também conhecido/a como Topos elementar.