Higher group theory
Content created by Egbert Rijke, Fredrik Bakke and Victor Blanchi.
Created on 2023-04-10.
Last modified on 2023-09-15.
Files in the higher group theory folder
module higher-group-theory where open import higher-group-theory.cartesian-products-higher-groups public open import higher-group-theory.conjugation public open import higher-group-theory.cyclic-higher-groups public open import higher-group-theory.equivalences-higher-groups public open import higher-group-theory.fixed-points-higher-group-actions public open import higher-group-theory.free-higher-group-actions public open import higher-group-theory.higher-group-actions public open import higher-group-theory.higher-groups public open import higher-group-theory.homomorphisms-higher-group-actions public open import higher-group-theory.homomorphisms-higher-groups public open import higher-group-theory.integers-higher-group public open import higher-group-theory.iterated-cartesian-products-higher-groups public open import higher-group-theory.orbits-higher-group-actions public open import higher-group-theory.subgroups-higher-groups public open import higher-group-theory.symmetric-higher-groups public open import higher-group-theory.trivial-higher-groups public
Recent changes
- 2023-09-15. Fredrik Bakke. Define representations of monoids (#765).
- 2023-07-19. Egbert Rijke. refactoring pointed maps (#682).
- 2023-07-19. Egbert Rijke. Conjugation on higher groups (#681).
- 2023-05-10. Victor Blanchi. Iterated cartesian products of concrete groups (#566).
- 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).