Lie group, unital algebra, topos, Boolean, quaternion, FLRW metric, cosmology.