| http://www.w3.org/ns/prov#value | - These developments are a strong pragmatic argument for the central importance of quasi-categories, but I was rather interested in hearing more from Urs as to a conceptual reason for why quasi-categories in particular ought to be considered the intrinsic notion.
|
