scientific article
From MaRDI portal
Publication:3855354
zbMath0422.18007MaRDI QIDQ3855354
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
local ringed spaceGrothendieck topologiesprime spectrumPierce sheaflocally finitely presented categoriescoherent theoriesstructural sheaflocal morphismringed toposesetale topos of a schemefinite projective limits
Categorical logic, topoi (03G30) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (16)
Unnamed Item ⋮ A representation theorem for integral rigs and its applications to residuated lattices. ⋮ On reflective subcategories of varieties ⋮ Unnamed Item ⋮ \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems ⋮ A small complete category ⋮ Unnamed Item ⋮ A set-theoretic proof of the representation of MV-algebras by sheaves ⋮ A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Limits, colimits, and spectra of modelled spaces ⋮ Weak reflections and weak factorization systems ⋮ Separable algebraic closure in a topos ⋮ Specification and proof in membership equational logic ⋮ Proving semantical equivalence of data specifications ⋮ Modules ⋮ The p-adic spectrum
This page was built for publication:
