Mathematics (Dec 2023)

A Result of Krasner in Categorial Form

  • Alessandro Linzi

DOI
https://doi.org/10.3390/math11244923
Journal volume & issue
Vol. 11, no. 24
p. 4923

Abstract

Read online

In 1957, M. Krasner described a complete valued field (K,v) as the inverse limit of a system of certain structures, called hyperfields, associated with (K,v). We put this result in purely category-theoretic terms by translating it into a limit construction in certain slice categories of the category of valued hyperfields and their homomorphisms. We replace the original metric-dependent arguments employed by Krasner with a clean and elegant transition to certain slice categories.

Keywords