Questions tagged [category-theory]
The category-theory tag has no usage guidance.
8
questions
1
vote
0
answers
13
views
Is Kant's talk of "homogeneity" the deeper point-of-contact between his theory of categories, and modern category theory?
The SEP article on category theory says:
Categories, functors, natural transformations, limits and colimits appeared almost out of nowhere in a paper by Eilenberg & Mac Lane (1945) entitled “...
1
vote
0
answers
33
views
Do models of Cartesian closed logic physically exist?
Cartesian closed logics, also known as simple type theories or simply-typed lambda calculi, are ubiquitous; we use sentential logic (WP, nLab) all the time in philosophy and law, and doxastic logic to ...
1
vote
0
answers
53
views
A concept of strong free will that's able to be represented in category theory?
Are there any such things as category theories where the category is an indeterminist/postdeterminist form of free will? Let's say, maybe it is a category where each object is an object of choice, ...
0
votes
0
answers
35
views
Is category theory an example of foundherentism?
After reading this essay about the history of type theory, I have refined my assessment of the set- vs. type-theory question in two ways. More similarly to what I was thinking before, I still ground ...
1
vote
3
answers
61
views
Why do certain ways of categorizing make sense more than others? Is this the intuition behind natural kinds?
From my understanding, natural kinds are kinds that in some way don’t depend on the motivation of the person. In this very specific sense, how can anything adhere to this requirement? Even a single ...
4
votes
5
answers
248
views
In category theory, why do we meet more left adjoints than right adjoints
In this answer, the author states that "many of the naturally occurring functors we meet tend to have left adjoint but often they lack right adjoints".
Is there any philosophical explanation ...
0
votes
0
answers
47
views
Mathematical "forms" as a relation of varying arity
This might be more a MathSE question, but on the other hand, it would involve a peculiar reimagining of the relation between set theory and type theory, so I'll try it out here.
OK, so earlier I ...
10
votes
3
answers
3k
views
Set theory vs. type theory vs. category theory
IIRC, in the univalent-foundations program (per Voevodsky), category theory is represented as a possible sort of evolution or new wave of type theory. Maybe my memory is off, but anyway, in nlab they ...