- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
|
|
|
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 foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...) |
|
|
The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) |
|
|
As far as we know, no notion of concrete fibration is available. We provide one such notion in adherence to the foundational attitude that characterizes the adoption of the fibrational perspective in approaching fundamental subjects in category theory and discuss it in connection with the notion of concrete category and the notions of locally small and small fibrations. We also discuss the appropriateness of our notion of concrete fibration for fibrations of small maps, which is relevant to algebraic set theory. |
|
|
Dans cet article je présente une analyse critique de l’approche habituelle de l’identité mathématique qui a son origine dans les travaux de Frege et Russell, en faisant un contraste avec les approches alternatives de Platon et Geach. Je pose ensuite ce problème dans un cadre de la théorie des catégories et montre que la notion d’identité ne peut pas être « internalisée » par les moyens catégoriques standards. Enfin, je présente deux approches de l’identité mathématique plus spécifiques: une avec la (...) |
|
|
Four requirements are suggested for an axiomatic system S to provide the foundations of category theory: (R1) S should allow us to construct the category of all structures of a given kind (without restriction), such as the category of all groups and the category of all categories; (R2) It should also allow us to construct the category of all functors between any two given categories including the ones constructed under (R1); (R3) In addition, S should allow us to establish the (...) |
|
|
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope.In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.I develop a framework (...) |
|
|
We investigate the universal fragment of intuitionistic logic focussing on equality of proofs. We give categorical models for that and prove several completeness results. One of them is a generalization of the well known Yoneda lemma and the other is an extension of Harvey Friedman's completeness result for typed lambda calculus. |
|
|
We investigate the universal fragment of intuitionistic logic focussing on equality of proofs. We give categorical models for that and prove several completeness results. One of them is a generalization of the well known Yoneda lemma and the other is an extension of Harvey Friedman's completeness result for typed lambda calculus. |
|
|
|
|
|
The simple connection of completeness and cocompleteness of lattices grows in categories into the Adjoint Functor Theorem. The connection of completeness and cocompleteness of Boolean algebras — even simpler — is similarly related to Paré's Theorem for toposes. We explain these relations, and then study the fibrational versions of both these theorems — for small complete categories. They can be interpreted as definability results in logic with proofs-as-constructions, and transferred to type theory. |
|
|
By splitting idempotent morphisms in the total and base categories of fibrations we provide an explicit elementary description of the Cauchy completion of objects in the categories Fib) of fibrations with a fixed base category \ and Fib of fibrations with any base category. Two universal constructions are at issue, corresponding to two fibered reflections involving the fibration of fibrations \. |
|
|
This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. (...) |
|
|
In this paper we present and study a categorical formulation of the W-types of Martin-Löf. These are essentially free term algebras where the operations may have finite or infinite arity. It is shown that W-types are preserved under the construction of sheaves and Artin gluing. In the proofs we avoid using impredicative or nonconstructive principles. |
|
|
La théorie des catégories vaut tant par ses applications mathématiques que par les débats philosophiques qu’elle suscite. Elle sert à exprimer en topologie algébrique, à déduire en algèbre homologique et, en tant qu’alternative à la théorie des ensembles, à construire des objets en géométrie algébrique dans la conception de Grothendieck. La théorie des catégories est une discipline fondamentale en le sens de Christian Thiel, car elle traite d’opérations typiques de la mathématique de structures. Cette thèse est défendue à l’aide d’une (...) |
|
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7674574dd6-n58h5 uwo