F-algebra, quaternion, topos, minkowski, FLRW, R-observer, hyperhamiltonian, birkhoff category, monad, M-set, monocosm, robust reality, cosmology, observable, antihermitian, principal bundle, birkhoff variety, internal logic, hilbert space