]]>
nLab edit announcer comments on "radical" (80687)https://nforum.ncatlab.org/discussion/10458/?Focus=80687#Comment_806872019-10-26T16:58:42+00:002024-03-28T15:22:26+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
σi=iσ\sigma i = i\sigma is a natural transformation from σσ\sigma\sigma to σ\sigma (if I am not mistaken).
Anonymous
diff, v9, current
is a natural transformation from to (if I am not mistaken).