In discrete object I spotted this statement
In Abstract Stone Duality, a space is called discrete if is open
which didn’t make a whole lot of sense to me; I figure what was really meant is that the diagonal is open, so I put that in instead. (Actually, it seems to me one wants to say that both and are open, but I don’t have ASD in front of me and I’m not sure what Taylor does.)
]]>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.
]]>