101
click to vote
ACS
2005
15 years 2 months ago
2005
The quasicategory Q of all set functors (i.e. endofunctors of the category SET of all sets and mappings) and all natural transformations has a terminal object