3

Questions
votes newest views recent
1
6
votes
0
answers
228
views

Free CCC or topos on a cartesian category

jun 10 at 8:01 Hurkyl 1,163●3●15

8
21
votes
4
answers
1k
views

Infinite mathematics as non-standard finite mathematics?

apr 28 at 21:28 Michael McFarland 1

6
10
votes
3
answers
618
views

What is the analog of a topos in quantum logic?

sep 10 11 at 22:38 Peter Arndt 6,888●18●42