Questions tagged [category-theory]

The tag has no usage guidance.

9 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 ...
tryst with freedom's user avatar
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, ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 “...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar