TY  - RPRT
TI  - Normalization of a subgroup, in a topos, and of a word-congruence
AU  - Ryuya Hora
PY  - 2025
UR  - https://arxiv.org/abs/2511.05012
ID  - 2511.05012
ER  -