nForum - Discussion Feed (derived adjunction unit)2024-03-29T07:42:47+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "derived adjunction unit" (70034)https://nforum.ncatlab.org/discussion/8723/?Focus=70034#Comment_700342018-07-11T13:11:14+00:002024-03-29T07:42:47+00:00Urshttps://nforum.ncatlab.org/account/4/
I am giving this its own little page, for ease of hyperlinking.
v1, current
I am giving this its own little page, for ease of hyperlinking.