Bell : types, sets and categories

http://publish.uwo.ca/~jbell/types.pdf

Advertisements
This entry was posted in category theory, Higher category theory, homotopy type theory, Science-internelle, Théorie des ensembles (set theory). Bookmark the permalink.