Saunders Mac Lane: "A "Fundação" padrão para a matemática começa com c...

"A "Fundação" padrão para a matemática começa com conjuntos e seus elementos. É possível começar de forma diferente, axiomatizando não elementos de conjuntos, mas funciona entre os conjuntos. Isso pode ser feito usando a linguagem de categorias e construções universais."

--- Saunders Mac Lane

#Linguagem #Feito #Matemática #Fundação #PADRÕES #Função #Construção #Elementos #Universal #Categorias

Versão em inglês

The standard "foundation" for mathematics starts with sets and their elements. It is possible to start differently, by axiomatising not elements of sets but functions between sets. This can be done by using the language of categories and universal constructions.