Categorical Geometry Chapter 3 Section 3.5 Zhaohua Luo 3.5. Analytic Geometry Definition 3.5.1. Let A be an analytic geometry.
Any object has a radical .
Suppose an object X is a join of two strong subobjects U and V . First consider the special case that U and V are disjunctable. Next we consider the general case. X is a map that is disjoint with U and V . We prove that T is an initial map by contradiction.