## Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 |

### What people are saying - Write a review

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

### Other editions - View all

Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax ... F. W. Lawvere Limited preview - 2006 |

### Common terms and phrases

adjoint algebra analysis apply argument associated assume axiom called canonical cartesian closed categories commutative complete lattice complex composition condition consider construction continuous lattice convergence corresponding defined definition deformation denote diagram directed discuss easy element entities equation equivalence example exists extension fact fiber finite fixed flat formal formula function functor given gives Grothendieck group scheme hence idea implies induced injective interesting inverse isomorphism left exact Lemma limit locally logic mathematics means Moreover morphism namely natural Note object obtained operations pair partially ordered particular presentation projection proof Proposition prove relation remark result retract ringed satisfies scheme sense sequence sheaf sheaves spaces split stack structure subobjects subsets subspace Suppose Theorem theory topology topos true University usual variables write