Proper maps for lax algebras and the Kuratowski-Mrówka Theorem
Maria Manuel Clementino, Walter Tholen · Theory and applications of categories · 2013
The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrówka' Theorem in this characterization are being explored in the general context of lax (T, V )-algebras, for a quantale V and a Set-monad T with a lax extension to V -relations.The general results are being applied in standard (topological and metric) and non-standard (labeled graphs) contexts.