]]>
nLab edit announcer comments on "double functor" (114477)https://nforum.ncatlab.org/discussion/8728/?Focus=114477#Comment_1144772023-12-06T16:18:34+00:002024-03-28T18:29:58+00:00nLab edit announcerhttps://nforum.ncatlab.org/account/1691/
Just changed an hF(g) that didn’t type check to a vF(g) in the definition
Deni
diff, v4, current
Just changed an hF(g) that didn’t type check to a vF(g) in the definition
]]>
mattecapu comments on "double functor" (95192)https://nforum.ncatlab.org/discussion/8728/?Focus=95192#Comment_951922021-09-16T22:29:50+00:002024-03-28T18:29:58+00:00mattecapuhttps://nforum.ncatlab.org/account/1923/
Added definition and reference
diff, v3, current