1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
É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…