Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386874637> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4386874637 abstract "We define and study notions of comprehension in $(infty,1)$-category theory. In essence, we do so by implementing B'{e}nabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural generalizations of smallness and relative definability in this context, and show for instance that the universal cartesian fibration is small. Furthermore, by building on Johnstone's notion of comprehension schemes for ordinary fibered categories, we characterize and relate numerous higher categorical properties and structures such as left exactness, local cartesian closedness, univalent morphisms and internal $(infty,1)$-categories in terms of comprehension schemes." @default.
- W4386874637 created "2023-09-20" @default.
- W4386874637 creator A5045546974 @default.
- W4386874637 date "2020-10-19" @default.
- W4386874637 modified "2023-09-27" @default.
- W4386874637 title "$(infty,1)$-Categorical Comprehension Schemes" @default.
- W4386874637 doi "https://doi.org/10.48550/arxiv.2010.09663" @default.
- W4386874637 hasPublicationYear "2020" @default.
- W4386874637 type Work @default.
- W4386874637 citedByCount "0" @default.
- W4386874637 crossrefType "posted-content" @default.
- W4386874637 hasAuthorship W4386874637A5045546974 @default.
- W4386874637 hasBestOaLocation W43868746371 @default.
- W4386874637 hasConcept C105795698 @default.
- W4386874637 hasConcept C118615104 @default.
- W4386874637 hasConcept C136119220 @default.
- W4386874637 hasConcept C137212723 @default.
- W4386874637 hasConcept C151730666 @default.
- W4386874637 hasConcept C16038011 @default.
- W4386874637 hasConcept C171032842 @default.
- W4386874637 hasConcept C199360897 @default.
- W4386874637 hasConcept C202444582 @default.
- W4386874637 hasConcept C2524010 @default.
- W4386874637 hasConcept C2779343474 @default.
- W4386874637 hasConcept C33923547 @default.
- W4386874637 hasConcept C41008148 @default.
- W4386874637 hasConcept C511192102 @default.
- W4386874637 hasConcept C5274069 @default.
- W4386874637 hasConcept C54486226 @default.
- W4386874637 hasConcept C5961521 @default.
- W4386874637 hasConcept C86803240 @default.
- W4386874637 hasConceptScore W4386874637C105795698 @default.
- W4386874637 hasConceptScore W4386874637C118615104 @default.
- W4386874637 hasConceptScore W4386874637C136119220 @default.
- W4386874637 hasConceptScore W4386874637C137212723 @default.
- W4386874637 hasConceptScore W4386874637C151730666 @default.
- W4386874637 hasConceptScore W4386874637C16038011 @default.
- W4386874637 hasConceptScore W4386874637C171032842 @default.
- W4386874637 hasConceptScore W4386874637C199360897 @default.
- W4386874637 hasConceptScore W4386874637C202444582 @default.
- W4386874637 hasConceptScore W4386874637C2524010 @default.
- W4386874637 hasConceptScore W4386874637C2779343474 @default.
- W4386874637 hasConceptScore W4386874637C33923547 @default.
- W4386874637 hasConceptScore W4386874637C41008148 @default.
- W4386874637 hasConceptScore W4386874637C511192102 @default.
- W4386874637 hasConceptScore W4386874637C5274069 @default.
- W4386874637 hasConceptScore W4386874637C54486226 @default.
- W4386874637 hasConceptScore W4386874637C5961521 @default.
- W4386874637 hasConceptScore W4386874637C86803240 @default.
- W4386874637 hasLocation W43868746371 @default.
- W4386874637 hasOpenAccess W4386874637 @default.
- W4386874637 hasPrimaryLocation W43868746371 @default.
- W4386874637 hasRelatedWork W2085318782 @default.
- W4386874637 hasRelatedWork W2106049833 @default.
- W4386874637 hasRelatedWork W2150706552 @default.
- W4386874637 hasRelatedWork W2501777326 @default.
- W4386874637 hasRelatedWork W2758194307 @default.
- W4386874637 hasRelatedWork W2899975002 @default.
- W4386874637 hasRelatedWork W3121188920 @default.
- W4386874637 hasRelatedWork W3189965691 @default.
- W4386874637 hasRelatedWork W4287594647 @default.
- W4386874637 hasRelatedWork W4375947497 @default.
- W4386874637 isParatext "false" @default.
- W4386874637 isRetracted "false" @default.
- W4386874637 workType "article" @default.