Matches in SemOpenAlex for { <https://semopenalex.org/work/W4315705832> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4315705832 abstract "In this note, we study the delooping of spaces and maps in homotopy type theory. We show that in some cases, spaces have a unique delooping, and give a simple description of the delooping in these cases. We explain why some maps, such as group homomorphisms, have a unique delooping. We discuss some applications to Eilenberg-MacLane spaces and cohomology." @default.
- W4315705832 created "2023-01-12" @default.
- W4315705832 creator A5010571556 @default.
- W4315705832 date "2023-01-09" @default.
- W4315705832 modified "2023-09-27" @default.
- W4315705832 title "Eilenberg-MacLane spaces and stabilisation in homotopy type theory" @default.
- W4315705832 doi "https://doi.org/10.48550/arxiv.2301.03685" @default.
- W4315705832 hasPublicationYear "2023" @default.
- W4315705832 type Work @default.
- W4315705832 citedByCount "0" @default.
- W4315705832 crossrefType "posted-content" @default.
- W4315705832 hasAuthorship W4315705832A5010571556 @default.
- W4315705832 hasBestOaLocation W43157058321 @default.
- W4315705832 hasConcept C111472728 @default.
- W4315705832 hasConcept C136119220 @default.
- W4315705832 hasConcept C138885662 @default.
- W4315705832 hasConcept C147688034 @default.
- W4315705832 hasConcept C150275644 @default.
- W4315705832 hasConcept C168334404 @default.
- W4315705832 hasConcept C18903297 @default.
- W4315705832 hasConcept C191752858 @default.
- W4315705832 hasConcept C202444582 @default.
- W4315705832 hasConcept C2777299769 @default.
- W4315705832 hasConcept C2780586882 @default.
- W4315705832 hasConcept C33923547 @default.
- W4315705832 hasConcept C4042151 @default.
- W4315705832 hasConcept C5961521 @default.
- W4315705832 hasConcept C60394458 @default.
- W4315705832 hasConcept C6976274 @default.
- W4315705832 hasConcept C78606066 @default.
- W4315705832 hasConcept C79236096 @default.
- W4315705832 hasConcept C86803240 @default.
- W4315705832 hasConceptScore W4315705832C111472728 @default.
- W4315705832 hasConceptScore W4315705832C136119220 @default.
- W4315705832 hasConceptScore W4315705832C138885662 @default.
- W4315705832 hasConceptScore W4315705832C147688034 @default.
- W4315705832 hasConceptScore W4315705832C150275644 @default.
- W4315705832 hasConceptScore W4315705832C168334404 @default.
- W4315705832 hasConceptScore W4315705832C18903297 @default.
- W4315705832 hasConceptScore W4315705832C191752858 @default.
- W4315705832 hasConceptScore W4315705832C202444582 @default.
- W4315705832 hasConceptScore W4315705832C2777299769 @default.
- W4315705832 hasConceptScore W4315705832C2780586882 @default.
- W4315705832 hasConceptScore W4315705832C33923547 @default.
- W4315705832 hasConceptScore W4315705832C4042151 @default.
- W4315705832 hasConceptScore W4315705832C5961521 @default.
- W4315705832 hasConceptScore W4315705832C60394458 @default.
- W4315705832 hasConceptScore W4315705832C6976274 @default.
- W4315705832 hasConceptScore W4315705832C78606066 @default.
- W4315705832 hasConceptScore W4315705832C79236096 @default.
- W4315705832 hasConceptScore W4315705832C86803240 @default.
- W4315705832 hasLocation W43157058321 @default.
- W4315705832 hasOpenAccess W4315705832 @default.
- W4315705832 hasPrimaryLocation W43157058321 @default.
- W4315705832 hasRelatedWork W121514703 @default.
- W4315705832 hasRelatedWork W1545173336 @default.
- W4315705832 hasRelatedWork W2044908530 @default.
- W4315705832 hasRelatedWork W2075620104 @default.
- W4315705832 hasRelatedWork W2168873359 @default.
- W4315705832 hasRelatedWork W2248827608 @default.
- W4315705832 hasRelatedWork W2309651359 @default.
- W4315705832 hasRelatedWork W3118168697 @default.
- W4315705832 hasRelatedWork W939169393 @default.
- W4315705832 hasRelatedWork W2099133073 @default.
- W4315705832 isParatext "false" @default.
- W4315705832 isRetracted "false" @default.
- W4315705832 workType "article" @default.