🦌 deertopia.net

ID	46ba7db6-a0f1-4518-8f66-0e2ed70f28c6
DeertopiaVisibility	public

Group

A group a monoid with invertibility.

Definition

Backlinks

Categories for the Working Mathematician
Category Theory in Context
Examples of functors
Group action as functor
Group homomorphism (group theory)
Isomorphism of categories (category theory)
Natural transformation
Opposite group (group theory)