Exact Completions and Toposes (2000)

Cached

Download Links

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

Documents Related by Co-Citation

35 Some free constructions in realizability and proof theory – A Carboni - 1995
22 Locally cartesian closed exact completions – A Carboni, G Rosolini
80 The effective topos – Martin Hyland - 1982
60 Realizability Toposes and Language Semantics – J Longley - 1994
189 Sheaves in Geometry and Logic: A First Introduction to Topos Theory – S Mac Lane, I Moerdijk - 1992
24 The Theory of Triposes – A M Pitts - 1981
36 Regular and exact completions – A Carboni, E M Vitale - 1998
92 Introduction to extensive and distributive categories – Aurelio Carboni, Steve Lack, Robert 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
37 Wellfounded Trees in Categories – Ieke Moerdijk, Erik Palmgren, Ieke Moerdijk (utrecht - 1999
13 Colimit completions and the effective topos – Edmund Robinson, Giuseppe Rosolini - 1990
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
17 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