DOI: 10.68381/jca08029 ISSN: 0944-6532
The Category Cv
D
0
, N
-Cmod and MP
Helmut Röhrl
This paper deals with the halfing morphism of
Cv_{D_0, N}
C
v
D
0
,
N
-convex modules, where
D_0
D
0
is the semiring of non-negative dyadic rationals, and its use in the explicit construction of the left adjoint to the functor
O_{D_0, N}:D_0\,
O
D
0
,
N
:
D
0
-Mod
\longrightarrow Cv_{D_0, N}
⟶
C
v
D
0
,
N
- Cmod that assigns to each
D_0
D
0
-module its canonical
Cv_{D_0, N}
C
v
D
0
,
N
-convex module. Furthermore it is shown that
Cv_{D_0, N}
C
v
D
0
,
N
-Cmod is isomorphic to the category MP of midpoint algebras