atomic geometric morphism
Cohomology and homotopy
In higher category theory
As shown in prop. 2 below, every atomic morphism is also a locally connected geometric morphism. The connected objects , are called the atoms of .
See (Johnstone, p. 689).
Atomic morphisms are closed under composition.
This appears as (Johnstone, lemma 3.5.4).
This appears as (Johnstone, lemma 3.5.4 (iii)).
Revised on August 6, 2016 07:37:56
by Thomas Holder