intuitionistic logic) it is possible to state everything relative to some given set theory that acts as a base topos. See also This article uses terminology from category theory. Fiber product of schemes References Scheme theory Category theory