Categorical Nonstandard Analysis. - Hayato Saigo; Juzo Nohmi (Symmetry, 2021)