34 citations · 95 across the 15 of their papers we have counts for
1 paper · 2 filters
É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…