## Topoi: The Categorial Analysis of Logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

PREFACE PROSPECTUS CHAPTER | 1 |

Set theory | 4 |

Foundations of mathematics | 13 |

Copyright | |

85 other sections not shown

### Other editions - View all

### Common terms and phrases

adjoint algebra arrow assigns axiom Boolean C-arrow called Chapter character classical classifier closed collection commutes complete component composite concept condition consider constant construction continuous corresponding defined definition denoted described determined developed diagram domain elements epic equality equivalent EXAMPLE EXERCISE exists exponential expression extensional fact follows formula function functor given gives hence holds identified identity implies inclusion interpretation intuitionistic logic isomorphic language logic mathematical means monic notion object obtain operations pair partial particular poset precisely principle PROOF Prove pullback relation result rules satisfies sentence set theory sheaf sheaves Show space square statement structure subobject subset Suppose symbol Theorem theory topoi topology topos transitive true truth truth-values unique universal valid variables yields