Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax, January 16-19, 1971 |
Other editions - View all
Toposes, Algebraic Geometry and Logic: Dalhousie University, Halifax ... F. W. Lawvere Limited preview - 2006 |
Common terms and phrases
A-module scheme algebra axiom bicategory Boolean canonical map canonically isomorphic cartesian closed categories category of sets characteristic map CHIGAN cohomology combinatory logic complete lattice condition construction continuous functions continuous lattice defined definition denote diagram duality element entity of type equation equivalence example F.W. Lawvere fiber formula function spaces functor given Grothendieck group scheme hence induced topology injective spaces intuitionistic inverse image inverse limit isomorphism left exact Lemma Lx/y mathematics monomorphism monotone morphism of stacks natural numbers notations object obstruction obtained ontology open sets open subsets pair partially ordered set product topology projection proof Proposition prove pullback quasi-coherent recursive result retract RHom ringed topoi satisfies scheme G sequence set theory sheaf sheaves simplicial subobjects subspace Suppose T-spaces Theorem topos toposes torsor U-topos UNIV UNIVERSITY Δω