O Que é A TEORIA DAS CATEGORIAS em Inglês

• category theory

Exemplos de uso de A teoria das categorias em Português e suas traduções para o Inglês

Por exemplo, adicionar esse axioma dá suporte a teoria das categorias.
For example, adding this axiom supports category theory.

Na teoria das categorias, a junção é, precisamente, o produto fibrado.
In category theory, the join is precisely the fiber product.

Os axiomas de Peano também podem ser entendidos usando a teoria das categorias.
The Peano axioms can also be understood using category theory.

A teoria das categorias lida com objetos abstratos e morfismos entre esses objetos.
Category theory deals with abstract objects and morphisms between those objects.

Formalizar esta intuição é uma motivação para o desenvolvimento da teoria das categorias.
Formalizing this intuition is a motivation for the development of category theory.

Na teoria das categorias, dada categoria C consiste de duas classes, uma de objetos e outra de morfismos.
In category theory, let the category C consist of two classes, one of objects and the other of morphisms.

Modelos Categóricos da Teoria dos Tipos==Usando a linguagem da teoria das categorias, R.A.G.
Categorical models of type theory==Using the language of category theory, R.A.G.

A teoria das categorias é uma teoria matemática que trata de forma abstrata das estruturas matemáticas e dos relacionamentos entre elas.
Category theory, which deals in an abstract way with mathematical structures and relationships between them.

Em particular, o interesse é em explorar a relação entre os caminhos e a teoria das categorias.
In particular, the main aim is the relation between computational paths and category theory.

Os diagramas comutativos cumprem o mesmo papel na teoria das categorias que as equações cumprem para a álgebra.
Commutative diagrams play the role in category theory that equations play in algebra see Barr-Wells.

Interpretação em teoria das categorias===Os axiomas de Peano também podem ser entendidos usando a teoria das categorias.
Interpretation in category theory===The Peano axioms can also be understood using category theory.

De forma mais geral, na teoria das categorias, a coimagem de um morfismo é a noção dual da imagem de um morfismo.
More generally, in category theory, the coimage of a morphism is the dual notion of the image of a morphism.

Devido a relação intima entre monoides e categorias, a versão do Teorema de Krohn-Rhodes é aplicável para a Teoria das categorias.
Due to the close relation between monoids and categories, a version of the Krohn-Rhodes theorem is applicable to category theory.

Na Teoria das categorias, uma mónade ou tripla é um(endo-)functor, junto com duas transformações naturais associadas.
In category theory, a branch of mathematics, a monad(also triple, triad, standard construction and fundamental construction) is an(endo-)functor, together with two natural transformations.

Em certas áreas da matemática, notavelmente a teoria das categorias, é necessário distinguir entre a igualdade de um lado e isomorfismo do outro.
In certain areas of mathematics, notably category theory, it is valuable to distinguish between equality on the one hand and isomorphism on the other.

Na teoria das categorias, um ramo da matemática, um sub-objeto é, grosso modo, um objeto que está dentro de outro objeto da mesma categoria..
In category theory, a branch of mathematics, a subobject is, roughly speaking, an object that sits inside another object in the same category..

Relação com igualdades==Em certas áreas da matemática, notavelmente a teoria das categorias, é necessário distinguir entre a"igualdade" de um lado e"isomorfismo" do outro.
Relation with equality==In certain areas of mathematics, notably category theory, it is valuable to distinguish between"equality" on the one hand and"isomorphism" on the other.

Na teoria das categorias, um ramo da matemática, um sub-objeto é, grosso modo, um objeto que está dentro de outro objeto da mesma categoria..
In category theory, a branch of mathematics, a subobject is, roughly speaking, an object which sits inside another object in the same category..

No entanto, a argumentação de owen torna-se difícil de ser aceita quando aponta que tanto a teoria das categorias, quanto da substância nascem como uma resposta ao argumento do terceiro home.
However, owen's argument becomes difficult to accept when you point that both the theory of categories, as the substance born as a response to the third man argument.

Neste sentido a teoria das categorias é a área da matemática dedicada a explorar esta comunhão de estrutura entre as diversas áreas da matemática.
Category theory is one area of mathematics dedicated to exploring this commonality of structure as it plays out in some areas of math.

Por causa da sua aplicabilidade em diversos campos da lógica, matemáticos como Saunders Mac Lane propuseram usar a teoria das categorias como fundamentos da matemática, independentemente da teoria dos conjuntos.
Because of its applicability in diverse fields of mathematics, mathematicians including Saunders Mac Lane have proposed category theory as a foundational system for mathematics, independent of set theory..

A presente dissertação mostra como a teoria das categorias pode ser utilizada para trabalhar em problemas filosóficos, em particular, o problema dos universais.
This work shows how the theory of categories can be used to work on philosophical problems, in particular, the problem of universals.

A abordagem via teoria das categorias permite de forma unificada investigar as propriedades quânticas em contextos fora do ambiente dos espaços de hilbert.
The approach via category theory allows a unified way to investigate the quantum properties in contexts outside of the environment of hilbert spaces.

Além disso, é útil encontrar uma construção abstrata para análise do ponto de vista da teoria das categorias, a teoria do"grande quadro da matemática" e como todos os objetos matemáticos se relacionam uns com os outros em um sentido muito geral.
Also, it is useful to find an abstract construction for analysis from the point of view of category theory, the theory of the very zoomed-out"big picture of maths" and how all mathematical objects relate to each other in a very general sense.

Conexão com a teoria das categorias==Pode-se definir muitas categorias diferentes de autômatos seguindo a classificação de autômatos em diferentes tipos, descrita na seção anterior.
Connection to Category theory==One can define several distinct categories of automata following the automata classification into different types described in the previous section.

O campo matemático conhecido como o da teoria das categorias usa muitos métodos axiomáticos formais nos quais se inclui o estudo da lógica categórica, mas essa teoria não é comumente considerada um sub-ramo da lógica.
The mathematical field of category theory uses many formal axiomatic methods, and includes the study of categorical logic, but category theory is not ordinarily considered a subfield of mathematical logic.

Por último, quando induzimos a utilização da teoria das categorias como modelagem à mecânica quântica, isto no dá uma nova perspectiva à mesma, além disso, abre-se todo o mundo da matemática com.
Finally, when we induced the use of category theory and modeling to quantum mechanics, it gives a new perspective on the same also opens up the world of mathematics with possible places where quantum computing can take place. however, much of this relatively new fi.

Os interesses de pesquisa de Goguen incluíam a Teoria das Categorias(um ramo da matemática), engenharia de software, lógica difusa, semântica algébrica, design de Interface do utilizador, semiótica algébrica, e os aspectos sociais e éticos da ciência e da tecnologia.
Goguen's research interests included category theory(a branch of mathematics), software engineering, fuzzy logic, algebraic semantics, user interface design, algebraic semiotics, and the social and ethical aspects of science and technology.

Se consistente, a ZFC não pode provar a existência de cardinais inacessíveis que as teoria das categorias requerem.
If consistent, ZFC cannot prove the existence of the inaccessible cardinals that category theory requires.

Na teoria da categoria, um automorfismo é um endomorfismo(ou seja, um morfismo de um objeto para si mesmo) que é também um isomorfismo no sentido categórico da palavra.
In category theory, an automorphism is an endomorphism(i.e., a morphism from an object to itself) which is also an isomorphism in the categorical sense of the word.

Como usar "a teoria das categorias" em uma frase

A teoria das categorias é teoria geral da estrutura e da relação entre grupos.

A teoria das categorias visa entender como funcionam as estruturas matemáticas.

Grothendieck, Badiou é levado a postular que a teoria das categorias exerce um efeito retroativo sobre o intuicionismo, isto é, ela o fundamenta.

Mas Desanti levantará a questão: e que tal as teorias rivais sobre a fundamentação da matemática, especialmente a teoria das categorias?

A teoria das categorias se distingue da dos conjuntos a partir do princípio inicial de o que seriam suas definições.

APHOMOIOO INSTITUTE - TOPOLOGIA LINGUÍSTICA - FÓRUM (uma)-DIFERENÇA-significante enquanto (um)-(in)DIFERENCIÁVEL [IDEIA-significado] x [IDEIA-significante] = [IDEIA-homeomorfia] Relações da Topologia Linguística com a Teoria das Categorias . . .

A Teoria das Categorias trata as Estruturas Matemáticas (significantes) e as [interacções «entre» estruturas matemáticas] (interacções linguísticas) como abstracções (acontecimento linguístico).

Tópicos optativos: a teoria das categorias e seu significado para a matemática demonstrações de proposições matemáticas com a utilização do computador.

Infelizmente, a história da especulação metafísica demonstra que não é menos difícil responder questões externas sobre a teoria das categorias.