Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281758794> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4281758794 abstract "Recent work in set theory indicates that there are many different notions of 'set', each captured by a different collection of axioms, as proposed by J. Hamkins in [Ham11]. In this paper we strive to give one class theory that allows for a simultaneous consideration of all set theoretical universes and the relationships between them, eliminating the need for recourse 'outside the theory' when carrying out constructions like forcing etc. We also explore multiversal category theory, showing that we are finally free of questions about 'largeness' at each stage of the categorification process when working in this theory -- the category of categories we consider for a given universe contains all large categories in that universe without taking recourse to a larger universe. We leverage this newfound freedom to define a category ${bf Force}$ whose objects are universes and whose arrows are forcing extensions, a $2$-category $mathcal{V}mathfrak{erse}$ whose objects are the categories of sets in each universe and whose component categories are given by functor categories between these categories of sets, and a tricategory $mathbb{Cat}$ whose objects are the $2$-categories of categories in each universe and whose component bicategories are given by pseudofunctor, pseudonatural transformation and modification bicategories between these $2$-categories of categories in each universe." @default.
- W4281758794 created "2022-06-13" @default.
- W4281758794 creator A5081918034 @default.
- W4281758794 date "2022-06-07" @default.
- W4281758794 modified "2023-09-25" @default.
- W4281758794 title "An axiomatic approach to the multiverse of sets" @default.
- W4281758794 doi "https://doi.org/10.48550/arxiv.2206.03169" @default.
- W4281758794 hasPublicationYear "2022" @default.
- W4281758794 type Work @default.
- W4281758794 citedByCount "0" @default.
- W4281758794 crossrefType "posted-content" @default.
- W4281758794 hasAuthorship W4281758794A5081918034 @default.
- W4281758794 hasBestOaLocation W42817587941 @default.
- W4281758794 hasConcept C105795698 @default.
- W4281758794 hasConcept C121332964 @default.
- W4281758794 hasConcept C1219285 @default.
- W4281758794 hasConcept C134306372 @default.
- W4281758794 hasConcept C153083717 @default.
- W4281758794 hasConcept C154945302 @default.
- W4281758794 hasConcept C156772000 @default.
- W4281758794 hasConcept C167729594 @default.
- W4281758794 hasConcept C177264268 @default.
- W4281758794 hasConcept C197115733 @default.
- W4281758794 hasConcept C199360897 @default.
- W4281758794 hasConcept C202444582 @default.
- W4281758794 hasConcept C2524010 @default.
- W4281758794 hasConcept C2777212361 @default.
- W4281758794 hasConcept C33923547 @default.
- W4281758794 hasConcept C41008148 @default.
- W4281758794 hasConcept C44870925 @default.
- W4281758794 hasConcept C54884031 @default.
- W4281758794 hasConcept C84999194 @default.
- W4281758794 hasConceptScore W4281758794C105795698 @default.
- W4281758794 hasConceptScore W4281758794C121332964 @default.
- W4281758794 hasConceptScore W4281758794C1219285 @default.
- W4281758794 hasConceptScore W4281758794C134306372 @default.
- W4281758794 hasConceptScore W4281758794C153083717 @default.
- W4281758794 hasConceptScore W4281758794C154945302 @default.
- W4281758794 hasConceptScore W4281758794C156772000 @default.
- W4281758794 hasConceptScore W4281758794C167729594 @default.
- W4281758794 hasConceptScore W4281758794C177264268 @default.
- W4281758794 hasConceptScore W4281758794C197115733 @default.
- W4281758794 hasConceptScore W4281758794C199360897 @default.
- W4281758794 hasConceptScore W4281758794C202444582 @default.
- W4281758794 hasConceptScore W4281758794C2524010 @default.
- W4281758794 hasConceptScore W4281758794C2777212361 @default.
- W4281758794 hasConceptScore W4281758794C33923547 @default.
- W4281758794 hasConceptScore W4281758794C41008148 @default.
- W4281758794 hasConceptScore W4281758794C44870925 @default.
- W4281758794 hasConceptScore W4281758794C54884031 @default.
- W4281758794 hasConceptScore W4281758794C84999194 @default.
- W4281758794 hasLocation W42817587941 @default.
- W4281758794 hasLocation W42817587942 @default.
- W4281758794 hasOpenAccess W4281758794 @default.
- W4281758794 hasPrimaryLocation W42817587941 @default.
- W4281758794 hasRelatedWork W1614768104 @default.
- W4281758794 hasRelatedWork W1912064545 @default.
- W4281758794 hasRelatedWork W1968024712 @default.
- W4281758794 hasRelatedWork W2073215282 @default.
- W4281758794 hasRelatedWork W2099588265 @default.
- W4281758794 hasRelatedWork W2150706552 @default.
- W4281758794 hasRelatedWork W2467005568 @default.
- W4281758794 hasRelatedWork W4293876826 @default.
- W4281758794 hasRelatedWork W4302411137 @default.
- W4281758794 hasRelatedWork W952420568 @default.
- W4281758794 isParatext "false" @default.
- W4281758794 isRetracted "false" @default.
- W4281758794 workType "article" @default.