<--- Back to Details
First PageDocument Content
Sheaf theory / Sheaf / Functor / Topos / Grothendieck topology / Presheaf / Initial and terminal objects / Adjoint functors / Zermelo–Fraenkel set theory / Category theory / Mathematics / Abstract algebra
Date: 2009-02-01 11:27:30
Sheaf theory
Sheaf
Functor
Topos
Grothendieck topology
Presheaf
Initial and terminal objects
Adjoint functors
Zermelo–Fraenkel set theory
Category theory
Mathematics
Abstract algebra

PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES NICOLA GAMBINO

Add to Reading List

Source URL: www.math.unipa.it

Download Document from Source Website

File Size: 203,02 KB

Share Document on Facebook

Similar Documents

OCTOBER 2012 The Golden Sheaf "The Second Publication in the Cardinal Gracias Memorial series – A Collection of articles from The Laity monthly dealing with current ecclesiastical aberrations and written by Indian and

DocID: 1u1ef - View Document

Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory

DocID: 1tKf4 - View Document

Algebra / Abstract algebra / Mathematics / Group theory / Divisor / Morphism of schemes / Vector bundle / Sheaf / Order / Algebraic geometry / Isomorphism theorem

CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated BarsottiTate group of level n, heigh

DocID: 1rtVq - View Document

Algebra / Mathematics / Abstract algebra / Quadratic forms / Pfister form / U-invariant / Sheaf / Iterated function

251 Documenta Math. Dimensions of Anisotropic Indefinite Quadratic Forms II

DocID: 1rrCp - View Document

Mathematics / Mathematical analysis / Algebra / Algebraic topology / Sheaf / Model theory / Measure theory / Functional analysis / Representation theory / Morphism of algebraic varieties / Lifting theory

217 Documenta Math. Stable Maps of Curves Robert F. Coleman

DocID: 1rrCk - View Document