Not signed in (Sign In)

Discussion Feed
- RSS2
- ATOM

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: de Morgan duality

1 to 1 of 1

- CommentRowNumber1.
- CommentAuthorUrs
- CommentTimeDec 23rd 2013
- (edited Dec 23rd 2013)
- PermaLink
Author: Urs
Format: MarkdownItexI have cross-linked _[[de Morgan duality]]_ with _[[Wirthmüller context]]_ for the statement that in linear logic $$ \prod_f \circ \mathbb{D} \simeq \mathbb{D} \circ \sum_f \,. $$ Also I have tried to make more of the links in the tables at _[[de Morgan duality]]_ point to something.

I have cross-linked de Morgan duality with Wirthmüller context for the statement that in linear logic
$\prod_f \circ \mathbb{D} \simeq \mathbb{D} \circ \sum_f \,.$
Also I have tried to make more of the links in the tables at de Morgan duality point to something.

1 to 1 of 1