Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

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: disjoint union

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2017

    I noticed that the entry disjoint union had no pointer to or from either of dependent sum, dependent sum type.

    I have added the bare pointers now (no energy for more now). But this means some basic examples are missing in these entries.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 19th 2017

    and I created disjoint union topological space, for completeness

1 to 2 of 2

  1.