On the Witt vectors in the Lawvere quantale

Ryo Horiuchi

Categories enriched over the Lawvere quantale L have been studied as generalized metric spaces. In this paper, we consider the monoidal category W(L) of Witt vectors in L and explore some basic properties of categories enriched over it. We also construct a monoidal functor from L to W(L), which induces a fully faithful functor from the category of L-enriched categories to that of W(L)-enriched categories, and investigate the relationship between them.

Keywords: symmetric functions, Witt vectors, rigs, quantales

2020 MSC: 05E05, 13F35, 16Y60, 18F75

Theory and Applications of Categories, Vol. 45, 2026, No. 50, pp 2153-2170.

Published 2026-10-08.

http://www.tac.mta.ca/tac/volumes/45/50/45-50.pdf

TAC Home