Exact Completions and Toposes (2000)

Cached

Download Links

by Matias Menni
Venue:University of Edinburgh
Citations:13 - 4 self

Documents Related by Co-Citation

36 Some free constructions in realizability and proof theory – A Carboni - 1995
22 Locally cartesian closed exact completions – A Carboni, G Rosolini
83 The effective topos – M E Hyland - 1982
60 Realizability Toposes and Language Semantics – J Longley - 1994
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994
24 The Theory of Triposes – A M Pitts - 1981
37 Regular and exact completions – A Carboni, E M Vitale - 1998
93 Introduction to extensive and distributive categories – A Carboni, S Lack, R Walters - 1993
6 Adjoints in and among bicategories, in – F W Lawvere - 1996
27 Type theory via exact categories – L Birkedal, A Carboni, G Rosolini, D S Scott - 1998
38 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
13 Colimit completions and the effective topos – Edmund Robinson, Giuseppe Rosolini
9 Extensional realizability – J van Oosten - 1993
8 Relative and Modified Relative Realizability – Lars Birkedal, Jaap Van Oosten - 2001
24 Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts) – Stephen Awodey, Lars Birkedal, Dana S. Scott - 1999
29 Proper maps of toposes – I Moerdijk, J Vermeulen
3 The fibrational formulation of intuitionistic prediate logic 1: completeness according to Godel, Kripke and Lauchli. Part 2. Notre Dame journal of formal logic – M Makkai - 1993
16 An abstract notion of realizability for which intuitionistic predicate calculus is complete – H Läuchli - 1970
7 Colimit Completions and the Eective Topos – E Robinson, G Rosolini - 1990