Matches in SemOpenAlex for { <https://semopenalex.org/work/W4377010135> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4377010135 abstract "We develop the theory of Yoneda Ext groups over a ring in homotopy type theory (HoTT) and describe their interpretation into an $infty$-topos. This is an abstract approach to Ext groups which does not require projective or injective resolutions. While it produces group objects that are a priori large, we show that the $operatorname{Ext}^1$ groups are equivalent to small groups, leaving open the question of whether the higher Ext groups are essentially small as well. We also show that the $operatorname{Ext}^1$ groups take on the usual form as a product of cyclic groups whenever the input modules are finitely presented and the ring is a PID (in the constructive sense). When interpreted into an $infty$-topos of sheaves on a 1-category, our Ext groups recover (and give a resolution-free approach to) sheaf Ext groups, which arise in algebraic geometry. (These are also called local Ext groups.) We may therefore interpret results about Ext from HoTT and apply them to sheaf Ext. To show this, we prove that injectivity of modules in HoTT interprets to internal injectivity in these models. It follows, for example, that sheaf Ext can be computed using resolutions which are projective or injective in the sense of HoTT, when they exist, and we give an example of this in the projective case. We also discuss the relation between internal $mathbb{Z} G$-modules (for a $0$-truncated group object $G$) and abelian groups in the slice over $BG$, and study the interpretation of our Ext groups in both settings." @default.
- W4377010135 created "2023-05-19" @default.
- W4377010135 creator A5040441491 @default.
- W4377010135 creator A5077767259 @default.
- W4377010135 date "2023-05-16" @default.
- W4377010135 modified "2023-09-29" @default.
- W4377010135 title "Ext groups in Homotopy Type Theory" @default.
- W4377010135 doi "https://doi.org/10.48550/arxiv.2305.09639" @default.
- W4377010135 hasPublicationYear "2023" @default.
- W4377010135 type Work @default.
- W4377010135 citedByCount "0" @default.
- W4377010135 crossrefType "posted-content" @default.
- W4377010135 hasAuthorship W4377010135A5040441491 @default.
- W4377010135 hasAuthorship W4377010135A5077767259 @default.
- W4377010135 hasBestOaLocation W43770101351 @default.
- W4377010135 hasConcept C128107574 @default.
- W4377010135 hasConcept C136119220 @default.
- W4377010135 hasConcept C136170076 @default.
- W4377010135 hasConcept C138268822 @default.
- W4377010135 hasConcept C154945302 @default.
- W4377010135 hasConcept C178790620 @default.
- W4377010135 hasConcept C185592680 @default.
- W4377010135 hasConcept C199360897 @default.
- W4377010135 hasConcept C202444582 @default.
- W4377010135 hasConcept C2781311116 @default.
- W4377010135 hasConcept C33923547 @default.
- W4377010135 hasConcept C4017995 @default.
- W4377010135 hasConcept C41008148 @default.
- W4377010135 hasConcept C50555996 @default.
- W4377010135 hasConcept C527412718 @default.
- W4377010135 hasConcept C5961521 @default.
- W4377010135 hasConcept C79236096 @default.
- W4377010135 hasConceptScore W4377010135C128107574 @default.
- W4377010135 hasConceptScore W4377010135C136119220 @default.
- W4377010135 hasConceptScore W4377010135C136170076 @default.
- W4377010135 hasConceptScore W4377010135C138268822 @default.
- W4377010135 hasConceptScore W4377010135C154945302 @default.
- W4377010135 hasConceptScore W4377010135C178790620 @default.
- W4377010135 hasConceptScore W4377010135C185592680 @default.
- W4377010135 hasConceptScore W4377010135C199360897 @default.
- W4377010135 hasConceptScore W4377010135C202444582 @default.
- W4377010135 hasConceptScore W4377010135C2781311116 @default.
- W4377010135 hasConceptScore W4377010135C33923547 @default.
- W4377010135 hasConceptScore W4377010135C4017995 @default.
- W4377010135 hasConceptScore W4377010135C41008148 @default.
- W4377010135 hasConceptScore W4377010135C50555996 @default.
- W4377010135 hasConceptScore W4377010135C527412718 @default.
- W4377010135 hasConceptScore W4377010135C5961521 @default.
- W4377010135 hasConceptScore W4377010135C79236096 @default.
- W4377010135 hasLocation W43770101351 @default.
- W4377010135 hasOpenAccess W4377010135 @default.
- W4377010135 hasPrimaryLocation W43770101351 @default.
- W4377010135 hasRelatedWork W1601330004 @default.
- W4377010135 hasRelatedWork W1988619292 @default.
- W4377010135 hasRelatedWork W2038814488 @default.
- W4377010135 hasRelatedWork W2329829798 @default.
- W4377010135 hasRelatedWork W2963205918 @default.
- W4377010135 hasRelatedWork W3041198743 @default.
- W4377010135 hasRelatedWork W3098749204 @default.
- W4377010135 hasRelatedWork W3194088846 @default.
- W4377010135 hasRelatedWork W4312081592 @default.
- W4377010135 hasRelatedWork W930990906 @default.
- W4377010135 isParatext "false" @default.
- W4377010135 isRetracted "false" @default.
- W4377010135 workType "article" @default.