The Exact Completion for Regular Categories enriched in Posets

Vasileios Aravantinos-Sotiropoulos

We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a sui…