Results 11 to 20 of about 69 (60)

Stereotype graph: A mathematical framework of category stereotypes via graph theory

open access: yesCoRR
In social psychology and cognitive science, there has been much interest in studying category stereotypes. However, we still lack a consensual mathematical definition or framework, which is necessary for us to hold a deeper understanding of stereotypes in human cognition.
openaire   +2 more sources

Mathematics of General Intelligence With Homotopy Type Theory and Category Theory

open access: yes
Artificial General Intelligence (AGI) requires an infrastructure, for algebraically expressing composable structures and operations, built on powerful abstractions. In a well-trained system built on these principles, learning to make appropriate algebraic substitutions would be sufficient to make intelligent responses. The power of Category Theory (CT)
openaire   +1 more source

Foundations of Mathematics from the Negation of Set Theory and the Redefinition of Category Theory Based on κ–Update Categories

open access: yes
This text does not extend ZFC, type theory, or topos theory.It starts by denying their ontological starting point. No primitive notion of: element set membership space time is assumed. Only the following primitives are admitted:   E(existence),0(non-existence),U(update)   All mathematical structure must be derived, not postulated.
openaire   +1 more source

Category Theory and Search for New Mathematical Foundations of Physics

open access: yes, 2010
The article is devoted to the analysis of known attempts to use mathematical category theory as general grounds for mathematics and physics.
openaire   +1 more source

Mathematical theory on formation of category detecting nerve cells

open access: yesMathematical theory on formation of category detecting nerve cells
The nerve cells are believed to have such ability of self-organization that, given a number of input patterns, each cell tunes itself to become responsive to only one of the patterns, or to one subset of patterns having some features in common. The detectors of patterns or pattern subsets are formed in this manner.
openaire  

Formalization of Mathematics in Type Theory. Generic tools of Modelisation and Demonstration. Application to Category Theory

open access: yes, 1999
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.
openaire   +1 more source

Category theory and the foundations of mathematics: Philosophical excavations

SynthÈse, 1995
The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the ...
Jean-Pierre Marquis
exaly   +2 more sources

Home - About - Disclaimer - Privacy