]]>
Urs comments on "combinatorial functor" (87080)https://nforum.ncatlab.org/discussion/11761/?Focus=87080#Comment_870802020-10-10T15:22:12+00:002024-03-29T06:51:05+00:00Urshttps://nforum.ncatlab.org/account/4/
a stub, to make links at Schanuel topos work.
v1, current