nForum - Discussion Feed (extension of scalars)2024-03-29T13:05:55+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "extension of scalars" (34959)https://nforum.ncatlab.org/discussion/4266/?Focus=34959#Comment_349592012-09-19T13:38:16+00:002024-03-29T13:05:55+00:00Urshttps://nforum.ncatlab.org/account/4/
I ended up spending some time with expanding extension of scalars. Towards the end I had more plans, but I’ll stop now, need to do something else.
I ended up spending some time with expanding extension of scalars. Towards the end I had more plans, but I’ll stop now, need to do something else.