34 citations · 95 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.GR2023
Delooping the sign homomorphism in univalent mathematics
Éléonore Mangel, Egbert Rijke
In univalent mathematics there are at least two equivalent ways to present the category of groups. Groups presented in their usual algebraic form are called abstract groups, and gr…
math.AT2023
Central H-spaces and banded types
Ulrik Buchholtz, J. Daniel Christensen, Jarl G. Taxerås Flaten +1
We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own…