06/05/2021, 09:11 PM
(06/05/2021, 03:11 AM)JmsNxn Wrote: This isn't exactly adjoints, Mphlee; but I believe it borders well enough.
OK, I see what you are trying to do. My intuition seems to follow you but my brain explodes when I try to make it more precise.
You're cool and everything and I understand that you know those constructions like the palms of your hands and do not need to specify from where to where those operations go... but now I need to reconstruct clearly the domains and the codomain of everything you're saying or my brain wont connect hahah
Need time.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)