Category Theory
Edit Page
Report
Scan day: 07 February 2014 UTC
-382
Virus safety - good
Description: Jean-Pierre Marquis of the University of Montreal introduces the general mathematical theory of structures and systems of structures.
Category Theory (Stanford Encyclopedia of Philosophy) First published Fri Dec 6, 1996; substantive revision Fri Apr 26, 2013 Category theory has come to occupy a central position in contemporary mathematics and theoretical computer science, and is also applied to mathematical physics. Roughly, it is a general mathematical theory of structures and of systems of structures. As category theory is still evolving, its functions are correspondingly developing, expanding and multiplying. At minimum, it is a powerful language, or conceptual framework, allowing us to see the universal components of a family of structures of a given kind, and how structures of different kinds are interrelated. Category theory is both an interesting object of philosophical study, and a potentially powerful formal tool for philosophical investigations of concepts such as space, system, and even truth. It can be applied to the study of logical systems in which case category theory is called “categorical doctrines†at the syntactic, proof-theoretic, and semantic levels. Category theory is an alternative to set theory as a foundation for mathematics. As such, it raises many issues about mathematical ontology and epistemology. Category theory thus affords philosophers and logicians much to use and reflect upon.
Size: 1303 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | Category Theory (Stanford Encyclopedia of Philosophy) |
Keywords: | |
Description: | |
IP-address: | 171.67.193.20 |
WHOIS Info
NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
WHOIS | |
Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |