nLab
Author — Steve Vickers

Overview

Steve Vickers has contributed to 9 nLab pages.

Most recent contributions

locale 18:02:42, November 27 2018
point-free topology 17:45:45, November 27 2018
point-free topology 17:01:47, November 27 2018
point-free topology 15:56:47, November 27 2018
point-free topology 14:10:57, November 27 2018
point-free topology 12:55:13, November 27 2018
cartesian theory > history 08:32:35, November 27 2018
essentially algebraic theory 08:27:31, November 27 2018
geometric theory 07:40:17, November 27 2018
classifying topos for the theory of objects 06:53:05, November 27 2018
geometric theory 14:29:08, November 26 2018
propositional logic 14:23:40, November 26 2018
geometric type theory 14:11:40, November 26 2018
geometric type theory 13:12:34, November 26 2018
cartesian logic 12:08:47, November 26 2018
geometric theory 11:15:24, November 26 2018

All pages contributed to