Showing changes from revision #3 to #4:
Added | Removed | Changed
This is a subentry of a reading guide to HTT.
(…)
( -categories as simplicial sets
HTT, 1.1, fondations for higher category theory-categories as categories enriched in
)
HTT, 1.2, the language of higher category theory