Timeline for Conjugacy classes as left Kan extension of forgetful functor
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 18, 2022 at 11:53 | comment | added | Maxime Ramzi | Ah that is way faster. I got confused because $Grp \to Grp^{conj}$ was not a fibration, but it of course doesn't change anything (this is obviously the correct answer, btw - except maybe if you want to compute more complicated $A_!$'s ) | |
| Dec 18, 2022 at 8:37 | history | answered | Shay Ben Moshe | CC BY-SA 4.0 |