Level ε

Lawvere has observed that certain ‘gros’ toposes in algebraic geometry suggest the existence of an ‘infinitesimal level’, closely related to finite-dimensional local algebras. Motivated by this observation we propose an elementary definition of level associated to a local geometric morphism, establi...

Descripción completa

Detalles Bibliográficos
Autores: Marmolejo, Francisco, Menni, Matías
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2019
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/129623
Acceso en línea:http://hdl.handle.net/11336/129623
Access Level:acceso abierto
Palabra clave:TOPOS THEORY
AXIOMATIC COHESION
ALGEBRAIC GEOMETRY
https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
Descripción
Sumario:Lawvere has observed that certain ‘gros’ toposes in algebraic geometry suggest the existence of an ‘infinitesimal level’, closely related to finite-dimensional local algebras. Motivated by this observation we propose an elementary definition of level associated to a local geometric morphism, establish some relevant basic properties suggested by geometric intuition, and give concrete descriptions of the level determined by several pre-cohesive geometric morphisms.