Elementary axioms for local maps of toposes

Elementary axioms for local maps of toposes

We present a complete elementary axiomatization of local maps of toposes.

Saved in:
Bibliographic Details
Published in:Journal of pure and applied algebra Vol. 177; no. 3; pp. 215 - 230
Main Authors: Awodey, Steven, Birkedal, Lars
Format: Journal Article
Language:English
Published: Elsevier B.V 01-02-2003
Subjects:
Secondary: 03F55
03G30
Primary: 18B25
03B40
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a complete elementary axiomatization of local maps of toposes.
ISSN:0022-4049
1873-1376
DOI:10.1016/S0022-4049(02)00283-9