Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
2 answers
349 views

Conjugacy classes as left Kan extension of forgetful functor

Let $\mathbf{Set}$, $\mathbf{Grp}$, and $\mathbf{Grp}^{\rm conj}$ denote the categories of sets and functions, groups and homomorphisms, and groups and homomorphisms up to conjugation, respectively. (...
David Corwin's user avatar
  • 15.4k