Timeline for Monomorphisms from natural numbers objects into products.
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2019 at 14:23 | comment | added | Andrej Bauer | Interesting question! The analytic LLPO fails in sheaves on $[0,1]$. Let me think. | |
| Dec 22, 2019 at 13:21 | comment | added | VS. | @AndrejBauer Which topoi do LLPO fail? Is there an essential structure? | |
| Sep 16, 2012 at 16:58 | comment | added | Shawn Henry | Thanks! I suspected it wasn't true in general. Fortunately I only need the result in the Boolean case. Neat solution! | |
| Sep 16, 2012 at 16:55 | vote | accept | Shawn Henry | ||
| Sep 15, 2012 at 1:29 | comment | added | Todd Trimble | Nice solution, by the way! | |
| Sep 15, 2012 at 1:28 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
edited body
|
| Sep 15, 2012 at 1:22 | comment | added | Todd Trimble | Andrej, in the first line of the definition of $a_n$, do you want to have $f(k) = 0$ instead of $f(n) = 0$? Similarly for the first line of the definition of $b_n$. | |
| Sep 15, 2012 at 0:45 | history | answered | Andrej Bauer | CC BY-SA 3.0 |