Higher group theory
Content created by Egbert Rijke, Fredrik Bakke and Victor Blanchi.
Created on 2023-04-10.
Last modified on 2024-03-23.
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.deloopable-groups public open import higher-group-theory.deloopable-h-spaces public open import higher-group-theory.deloopable-types public open import higher-group-theory.eilenberg-mac-lane-spaces 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.iterated-deloopings-of-pointed-types public open import higher-group-theory.orbits-higher-group-actions public open import higher-group-theory.small-higher-groups public open import higher-group-theory.subgroups-higher-groups public open import higher-group-theory.symmetric-higher-groups public open import higher-group-theory.transitive-higher-group-actions public open import higher-group-theory.trivial-higher-groups public
Recent changes
- 2024-03-23. Egbert Rijke. Deloopings and Eilenberg-Mac Lane spaces (#1079).
- 2023-09-30. Egbert Rijke and Fredrik Bakke. Free and transitive higher group actions (#807).
- 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).