Skip to main content
6 events
when toggle format what by license comment
Sep 9 at 1:37 comment added David Roberts see James' new answer
Jan 1, 2013 at 20:33 comment added Todd Trimble I fixed what I could, although there is some tentativeness toward the end.
Jan 1, 2013 at 20:32 history edited Todd Trimble CC BY-SA 3.0
fixed some mathematical errors
Jan 1, 2013 at 19:44 history edited Todd Trimble CC BY-SA 3.0
added 83 characters in body
Jan 1, 2013 at 19:41 comment added Todd Trimble Hm, the assertion that cocomplete Heyting algebras are monadic over $Set$ is certainly wrong. This casts some doubt on a large chunk of the answer; I'll have to see if it can be repaired.
Jan 1, 2013 at 18:26 history answered Todd Trimble CC BY-SA 3.0