A result of Krasner in categorial form
Category Theory
2023-10-11 v2 Commutative Algebra
Abstract
In 1957 M.\ Krasner described a complete valued field via the projective limit of a system of certain structures, called hyperfields, associated to . We put this result in purely category-theoretic terms by translating into a limit construction in certain slice categories of the category of valued hyperfields and their homomorphisms.
Cite
@article{arxiv.2309.16404,
title = {A result of Krasner in categorial form},
author = {Alessandro Linzi},
journal= {arXiv preprint arXiv:2309.16404},
year = {2023}
}