Questions tagged [elementary-theory-category-of-sets]

A first-order axiomatic set theory describing the intended properties of the category of sets

Filter by
Sorted by
Tagged with
0 votes
0 answers
213 views

Is there a foundational approach that takes "structure" as primitive?

As per the title, I'd be curious to know if there have been attempts at constructing a foundation of mathematics taking, somehow, purely the notion of "structure" as primitive, maybe via a system of ...
Qfwfq's user avatar
  • 22.7k
37 votes
4 answers
6k views

Could groups be used instead of sets as a foundation of mathematics?

Sets are the only fundamental objects in the theory $\sf ZFC$. But we can use $\sf ZFC$ as a foundation for all of mathematics by encoding the various other objects we care about in terms of sets. The ...
Oscar Cunningham's user avatar
11 votes
0 answers
339 views

Categorial foundations via "categories of algebras"

There are categorical foundations for mathematics axiomatizing the category of sets (Lawvere's ETCS), cartesian closed categories (type theory), and the category of spaces (homotopy type theory). ...
Ronald J. Zallman's user avatar
5 votes
1 answer
464 views

Is ETCS well-founded?

I can't find a statement about the axiom of regularity anywhere in treatments of ETCS. Perhaps this is due to the unfortunate clash of terminology with 'foundations'.
seldon's user avatar
  • 1,033
32 votes
4 answers
6k views

Who needs Replacement anyway?

The set theory ETCS famously comes without the Replacement axiom schema (or an equivalent) that is part of ZFC. One (to me, not apparently useful) set that one cannot build in ETCS is $\coprod_{n\in \...
David Roberts's user avatar
  • 33.8k
2 votes
1 answer
261 views

Can we define geometric morphisms (between ETCS categories) elementarily?

The ETCS axioms give conditions on a category for it to be a category of sets. These axioms can be written out in first order language, resulting in a finite axiomatisation of the category of sets. ...
David Roberts's user avatar
  • 33.8k
7 votes
1 answer
499 views

How do we compare models of ETCS?

The elementary theory of the category of sets (nLab) gives axioms on a category such that it is a category of sets. In answering this MO question I realised that we might have trouble comparing ...
David Roberts's user avatar
  • 33.8k
18 votes
10 answers
7k views

Set theory and alternative foundations

Every foundational system for mathematics I have ever read about has been a set theory, from ETCS to ZFC to NF. Are there any proposals for a foundational system which is not, in any sense, a set ...
psihodelia's user avatar