A Result of Krasner in Categorial Form
Alessandro Linzi ()
Additional contact information
Alessandro Linzi: Centre for Information Technologies and Applied Mathematics, University of Nova Gorica, 5000 Nova Gorica, Slovenia
Mathematics, 2023, vol. 11, issue 24, 1-15
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 (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View complete reference list from CitEc
Citations:
Downloads: (external link)
https://www.mdpi.com/2227-7390/11/24/4923/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/24/4923/ (text/html)
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:24:p:4923-:d:1297928
Access Statistics for this article
Mathematics is currently edited by Ms. Emma He
More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().