Questions tagged [category-theory]
The category-theory tag has no usage guidance.
9
questions with no upvoted or accepted answers
4
votes
0
answers
92
views
Self-duality (in category theory) and advaita (non-duality in metaphysics)
In category theory, there are self-dual objects, where A ≅ A∗ (A is isomorphic to its dual), with the strict, but possibly non-coherent, case being when A equals A∗ (see Selinger[??]). In some ...
3
votes
0
answers
70
views
Rather than "ought to be true = is true" being impossible, might it not just be a trivial stage of moral representation?
I just finished reading Eugenia Cheng's essay on moral phraseology in mathematics, and so I want to go over something she says on pg. 20:
A recent lecturer of Part III Category Theory declared that ...
3
votes
2
answers
138
views
Evil as the opposite category of 𝐕𝐚𝐥𝐮𝐞
Presupposition of the question: the drastic-difference thesis, which is here based on the SEP article on the concept of evil:
Since World War II, moral, political, and legal philosophers have become ...
2
votes
1
answer
55
views
Is category theory as philosophically intuitive as basic logic?
So far as I understand, category theory can be used as foundations of mathematics as in that the rest of logic can be defined through categorical ideas.
However is category theory as natural a ...
2
votes
0
answers
61
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, ...
1
vote
0
answers
46
views
Initial/terminal values in a category of values (instead of intrinsic/final vs. extrinsic/instrumental values)
It seems as if the concept of intrinsic value is so unclear and/or unstable that we can't even tell whether (or when) it is transitiveT:
First, there is the possibility that the relation of intrinsic ...
1
vote
0
answers
36
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 “...
0
votes
0
answers
58
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 ...
0
votes
0
answers
48
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 ...