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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJul 28th 2013
    • (edited Jul 28th 2013)

    added a brief remark to discrete object in a new section Examples — in infintiy-toposes on the relation between discreteness and cohomology.

    This is a (fairly trivial) comment on Mike’s discussion over on the HoTT blog, linked to from the above.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 28th 2013

    In discrete object I spotted this statement

    In Abstract Stone Duality, a space is called discrete if X×XXX \times X \to X is open

    which didn’t make a whole lot of sense to me; I figure what was really meant is that the diagonal δ:XX×X\delta: X \to X \times X is open, so I put that in instead. (Actually, it seems to me one wants to say that both δ\delta and ε:X1\epsilon: X \to 1 are open, but I don’t have ASD in front of me and I’m not sure what Taylor does.)