nLab Author — Steve Vickers

Overview

Steve Vickers has contributed to 9 nLab pages.

Most recent contributions

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

All pages contributed to