View topic on PhilPapers for more information
Related categories
Siblings:History/traditions: Category Theory

31 found
Order:
More results on PhilPapers
  1. added 2020-11-16
    Functorial Semantics for the Advancement of the Science of Cognition.Venkata Rayudu Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161-184.
    Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2020-09-01
    Pluralist-Monism. Derived Category Theory as the Grammar of N-Awareness.Shanna Dobson & Robert Prentner - manuscript
    In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2020-08-25
    Mathematical Aspects of Similarity and Quasi-Analysis - Order, Topology, and Sheaves.Thomas Mormann - manuscript
    The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many empirical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2020-08-25
    গণিত দর্শন Gonit Dorshon.Avijit Lahiri - manuscript
    This article, written in Bengali ('Gonit Dorshon' means `philosophy of mathematics' ), briefly reviews a few of the major points of view toward mathematics and the world of mathematical entities, and interprets the philosophy of mathematics as an interaction between these. The existence of these different points of view is indicative that mathematics, in spite of being of universal validity, can nevertheless accommodate alternatives. In particular, I review the alternative viewpoints of Platonism and Intuitionism and present the case that in (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2020-08-24
    The Category of Mereotopology and Its Ontological Consequences.Saikeerthi Rachavelpula - 2017 - University of Chicago Mathematics Research Program 2017.
    We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2020-08-24
    Functorial Semantics for the Advancement of the Science of Cognition.Venkata Posina, Dhanjoo N. Ghista & Sisir Roy - 2017 - Mind and Matter 15 (2):161{184.
    Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the adjointness (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2020-08-24
    Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.
    The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. added 2020-08-24
    Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.
    A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2020-07-11
    How Category Theory Works.David Ellerman - manuscript
    The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can be (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2019-06-06
    The Logic of Partitions: Introduction to the Dual of the Logic of Subsets: The Logic of Partitions.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
    Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  11. added 2019-06-03
    Canonical Maps.Jean-Pierre Marquis - 2018 - In Elaine Landry (ed.), Categories for the Working Philosophers. Oxford, UK: pp. 90-112.
    Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2017-12-04
    Grothendieck Universes and Indefinite Extensibility.Hasen Khudairi - manuscript
    This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility in the category-theoretic setting is identifiable with the Kripke functors of modal coalgebraic automata, where the automata model Grothendieck Universes and the functors are further inter-definable with the elementary embeddings of large cardinal axioms. The Kripke functors definable in Grothendieck universes are argued to account for the ontological expansion effected by the elementary embeddings in the (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2017-12-04
    Categorical Harmony and Path Induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category theory. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. added 2017-12-04
    Category Theory and Set Theory as Theories About Complementary Types of Universals.David P. Ellerman - 2017 - Logic and Logical Philosophy 26 (2):1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2017-12-04
    A Brief Introduction to Transcendental Phenomenology and Conceptual Mathematics.Nicholas Lawrence - 2017 - Dissertation,
    By extending Husserl’s own historico-critical study to include the conceptual mathematics of more contemporary times – specifically category theory and its emphatic development since the second half of the 20th century – this paper claims that the delineation between mathematics and philosophy must be completely revisited. It will be contended that Husserl’s phenomenological work was very much influenced by the discoveries and limitations of the formal mathematics being developed at Göttingen during his tenure there and that, subsequently, the rôle he (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2017-12-04
    Brain Functors: A Mathematical Model for Intentional Perception and Action.David Ellerman - 2016 - Brain: Broad Research in Artificial Intelligence and Neuroscience 7 (1):5-17.
    Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunctions being the primary lens. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right semiadjunction. Semiadjunctions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2017-12-04
    Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. added 2017-02-16
    A Methodological Note on Proving Agreement Between the Elementary Process Theory and Modern Interaction Theories.Cabbolet Marcoen - manuscript
    The Elementary Process Theory (EPT) is a collection of seven elementary process-physical principles that describe the individual processes by which interactions have to take place for repulsive gravity to exist. One of the two main problems of the EPT is that there is no proof that the four fundamental interactions (gravitational, electromagnetic, strong, and weak) as we know them can take place in the elementary processes described by the EPT. This paper sets forth the method by which it can be (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2016-02-26
    On the Duality Between Existence and Information.David Ellerman - manuscript
    Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory parallel to Boole's development of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2016-02-26
    On Adjoint and Brain Functors.David Ellerman - 2016 - Axiomathes 26 (1):41-61.
    There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2016-02-26
    Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
    Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. added 2016-02-26
    A Categorial Approach to the Combination of Logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
    In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. added 2015-09-29
    The Importance of Developing a Foundation for Naive Category Theory.Marcoen J. T. F. Cabbolet - 2015 - Thought: A Journal of Philosophy 4 (4):237-242.
    Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2015-06-18
    Mac Lane, Bourbaki, and Adjoints: A Heteromorphic Retrospective.David Ellerman - manuscript
    Saunders Mac Lane famously remarked that "Bourbaki just missed" formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre--which then had to wait until Daniel Kan's 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms within a category, i.e., homomorphisms. When Samuel's treatment is reconsidered in view of the treatment of adjoints using heteromorphisms or hets (object-to-object morphisms between objects in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. added 2015-06-18
    On the Self-Predicative Universals of Category Theory.David Ellerman - manuscript
    This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2015-04-05
    Some Results on Ordered Structures in Toposes.Luís Sbardellini & Marcelo Coniglio - 2006 - Reports on Mathematical Logic:181-198.
    A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2015-03-22
    The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2011 - In Dov Gabbay, Akihiro Kanamori & John Woods (eds.), Handbook of the history of logic. Elsevier.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. added 2015-02-16
    Adjoints and Emergence: Applications of a New Theory of Adjoint Functors. [REVIEW]David Ellerman - 2007 - Axiomathes 17 (1):19-39.
    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 “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. added 2015-02-02
    On Concrete Universals: A Modern Treatment Using Category Theory.David Ellerman - 2014 - AL-Mukhatabat.
    Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. added 2014-12-17
    Category Theory is a Contentful Theory.Shay Logan - 2015 - Philosophia Mathematica 23 (1):110-115.
    Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. added 2013-08-22
    A Sketch of a Sirenia: Meros Theory.Dan Kurth - manuscript
    This sketch of a perhaps future 'Elementary Theory of the Category of Mereological Sums (including Mereological Wholes and Parts)' relates to my previous papers "The Topos of Emergence" and "Intelligible Gunk". I assert that for successfully categorizing Mereology one has to start with a specific setting of gunk. In this paper we will give a sketch of a categorically version of particular mereological structures. I.e. we will follow the example of F.W.Lawvere’s “An elementary theory of the category of sets” -/- (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark