Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory. Its basis originated…
Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory. Its basis originated with the development of ETCS by William Lawvere in 1964.
See also
Categorical logic
References
Inline
General
External links
Gebaseerd op: Wikipedia — Categorical set theory · auteursgeschiedenis.
Tekst: CC BY-SA 4.0.
Wikisyntaxis en sjablonen zijn verwijderd; langere teksten zijn ingekort.