Matias Menni  Home/Search
Context Related
| dcs.ed.ac.uk/home/matias/ect.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.uu.nl/people...realizability (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We characterize the categories with finite limits whose exact completions are toposes. We review the examples in the literature and also find new examples and counterexamples. (Update)
Similar documents based on text: More All
2.1: Closure Operators in Exact Completions - Menni (2001) (Correct)
2.1: Exact Completions and Toposes - Menni (2000) (Correct)
0.9: A Note On The Exact Completion Of A Regular Category, And Its.. - Lack (1999) (Correct)
Related documents from co-citation: More All
4: Locally cartesian closed exact completions (context) - Carboni, Rosolini - 1998
4: A categorical approach to realizability and polymorphic types (context) - Carboni, Freyd et al. - 1988
4: The free exact category on a left exact one (context) - Carboni, Magno - 1982
BibTeX entry: (Update)
M. Menni. A characterization of the left exact categories whose exact completions are toposes. Manuscript, submitted to Proceedings of 1999 meeting in Category theory in Coimbra, November 1999. http://citeseer.ist.psu.edu/menni99characterization.html More
@misc{ menni99characterization,
author = "M. Menni",
title = "A characterization of the left exact categories whose exact completions
are toposes",
text = "M. Menni. A characterization of the left exact categories whose exact completions
are toposes. Manuscript, submitted to Proceedings of 1999 meeting in Category
theory in Coimbra, November 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/menni99characterization.html" }
Citations (may not include all citations):97 North-Holland (context) - Freyd, Scedrov et al. - 1990
83 Topos theory (context) - Johnstone - 1977
65 Sheaves in Geometry and Logic: a First Introduction to Topos.. (context) - Lane, Moerdijk - 1992
48 Introduction to extensive and distributive categories (context) - Carboni, Lack et al. - 1993
42 volume 236 of Lecture notes in mathematics (context) - Barr, Grillet et al. - 1971
28 volume 51 of Encyclopedia of mathematics and its application.. (context) - Borceux, categorical - 1994
24 Type theory via exact categories (context) - Birkedal, Carboni et al. - 1998
16 Some free constructions in realizability and proof theory (context) - Carboni - 1995
15 Locally cartesian closed exact completions (context) - Carboni, Rosolini - 2000
14 Regular and exact completions (context) - Carboni, Vitale - 1998
12 Mathematical Proceedings of the Cambridge philosophical soci.. (context) - Hyland, Johnstone et al. - 1980
12 The free exact category on a left exact one (context) - Carboni, Magno - 1982
9 Department of Computer Science (context) - Longley, Language et al. - 1995
9 The fibrational formulation of intuitionistic prediate logic.. (context) - Makkai - 1993
7 An abstract notion of realizability for which intuitionistic.. (context) - Lauchli - 1970
6 Annals of pure and applied logic (context) - van Oosten - 1997
6 Exact completions and toposes - Menni - 2000
4 Typed and modified realizability (context) - Lietz
4 Basic category theory (context) - van Oosten - 1995
4 volume 162 of Graduate texts in mathematics (context) - Alperin, Bell et al. - 1995
3 Colimit completions and the e#ective topos (context) - Robinson, Rosolini - 1990
2 Adjoints in and among bicategories (context) - Lawvere
1 A CHARACTERIZATION OF THE LEFT EXACT CATEGORIES WHOSE (context) - Johnstone, Cambridge - 1982
Documents on the same site (http://www.math.uu.nl/people/jvoosten/realizability.html): More
An Abstract Look At Realizability - De Marchi, Robinson, Rosolini (2000) (Correct)
Variations on Realizability: Realizing the Propositional Axiom of .. - Hyland (2000) (Correct)
Exact Completions and Toposes - Menni (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC