A Result of Krasner in Categorial Form

Abstract

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

• valuation
• completion
• field
• hyperfield
• category theory