Results 201 to 210 of about 7,596,236 (250)

Category Theory in Physics, Mathematics, and Philosophy

open access: yesSpringer Proceedings in Physics, 2019
The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to
Skowron, Bartłomiej, Kuś, Marek
exaly   +3 more sources

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   +3 more sources

MATHEMATICS: FROM SET THEORY TO CATEGORY THEORY

Metaphysics, 2022
The basis of mathematics is set theory, to which almost all mathematical directions go back. However, the importance of category theory for mathematics as a whole is steadily increasing. If in set theory the determining role is played by the internal structure of the object under consideration, then in category theory an object is characterized by its ...
openaire   +1 more source

From Mathematics to Software Engineering: Introducing Category Theory Into the Computer Science Curriculum [PDF]

open access: yesLecture Notes in Computer Science, 2007
Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to ...
Yu-Jun Zheng, Jinyun Xue
exaly   +3 more sources

Category Theory as a Mathematics for Formalizing Ontologies

2010
Category theory is discussed as an appropriate mathematical basis for the formalization and study of ontologies. It is based upon the notion of the structure manifest in systems of compositional relations and through mappings between systems that preserve composition.
exaly   +2 more sources

Category Theory as an Explanatory Foundation [PDF]

open access: yesSynthÈse
Can category theory be a foundation of mathematics? While category theory is taken to organize the body of mathematical knowledge and practice, its status as a foundational theory has been disputed.
Chanwoo Lee
exaly   +2 more sources

Home - About - Disclaimer - Privacy