Author — Steve Vickers

Steve Vickers has contributed to 9 nLab pages.

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 |