Relative category theory and geometric morphisms: a logical approach

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Chapman, Jonathan; Rowbottom, Frederick
Series: Oxford logic guides 16
Publisher: Oxford University Press,Clarendon Press
Year: 1992

Language: English
Pages: 263
City: Oxford
Tags: Kategorientheorie.;Morphismus.;Topos (Mathematik)

Content: Introduction
Local set theories
Partial function theory `L'
Equationals
Categories in a topos
Topoi in a topos
A representation theorem for geometric morphisms
Local set theories in S
The theory of a topos in S
Topologies and sheaves
The relative Giraud theorem
Appendices.