nForum - Discussion Feed (de Morgan duality)2024-03-29T13:35:15+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "de Morgan duality" (44129)https://nforum.ncatlab.org/discussion/5568/?Focus=44129#Comment_441292013-12-23T19:23:50+00:002024-03-29T13:35:15+00:00Urshttps://nforum.ncatlab.org/account/4/
I have cross-linked de Morgan duality with Wirthmüller context for the statement that in linear logic
∏ f∘𝔻≃𝔻∘∑ f.
...