Tagged Questions
6
votes
2answers
83 views
Is there a way to axiomatize the category of sets and relations?
The system of axioms known as ETCS axiomatizes the category of sets and functions. Does anyone know of a way to axiomatize the category (and/or allegory) of sets and relations?
0
votes
1answer
46 views
Is there a systematic account of the number systems in the following 3x3 grid?
Consider the following sets of numbers, viewed as number systems with signature $(+,\times,\leq)$.
Let $\mathbb{X} = \{1,2,3,\cdots\}$ denote the nonzero natural numbers. Let the completion of ...
7
votes
2answers
347 views
Relationship between Category theory and Axiomatic set theory
I've recently started learning Category theory- and I have a pondering- wondering if anyone can help.
Is it possible for two categories to satisfy two different set-axiom system. Namely- is it ...
