Steve Vickers has contributed to 9 nLab pages.
locale | 23:02:42, November 27 2018 |
point-free topology | 22:45:45, November 27 2018 |
point-free topology | 22:01:47, November 27 2018 |
point-free topology | 20:56:47, November 27 2018 |
point-free topology | 19:10:57, November 27 2018 |
point-free topology | 17:55:13, November 27 2018 |
cartesian theory > history | 13:32:35, November 27 2018 |
essentially algebraic theory | 13:27:31, November 27 2018 |
geometric theory | 12:40:17, November 27 2018 |
classifying topos for the theory of objects | 11:53:05, November 27 2018 |
geometric theory | 19:29:08, November 26 2018 |
propositional logic | 19:23:40, November 26 2018 |
geometric type theory | 19:11:40, November 26 2018 |
geometric type theory | 18:12:34, November 26 2018 |
cartesian logic | 17:08:47, November 26 2018 |
geometric theory | 16:15:24, November 26 2018 |