David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language).
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
George Georgescu (2006). N-Valued Logics and Łukasiewicz–Moisil Algebras. Axiomathes 16 (1-2):123-136.
Alberto Peruzzi (2006). The Meaning of Category Theory for 21st Century Philosophy. Axiomathes 16 (4):424-459.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Kosta Dosen (2006). Models of Deduction. Synthese 148 (3):639 - 657.
Kosta Dos̆en (2006). Models of Deduction. Synthese 148 (3):639 - 657.
John L. Bell (2001). Observations on Category Theory. Axiomathes 12 (1-2):151-155.
Constantine Tsinakis & Han Zhang (2004). Order Algebras as Models of Linear Logic. Studia Logica 76 (2):201 - 225.
Added to index2009-03-27
Total downloads68 ( #22,976 of 1,100,145 )
Recent downloads (6 months)4 ( #90,386 of 1,100,145 )
How can I increase my downloads?