Level {\epsilon}
Category Theory
2019-09-30 v1
Abstract
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 {\epsilon} associated to a local geometric morphism, establish some relevant basic properties suggested by geometric intuition, and give concrete descriptions of the level {\epsilon} determined by several pre-cohesive geometric morphisms.
Cite
@article{arxiv.1909.12757,
title = {Level {\epsilon}},
author = {Francisco Marmolejo and Matías Menni},
journal= {arXiv preprint arXiv:1909.12757},
year = {2019}
}
Comments
28 pages