TY - RPRT TI - A result of Krasner in categorial form AU - Alessandro Linzi PY - 2023 UR - https://arxiv.org/abs/2309.16404 ID - 2309.16404 ER -