Proper maps for lax algebras and the Kuratowski-Mrówka Theorem
The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrowka' 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 extens...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | article |
| Language: | eng |
| Published: |
2013
|
| Online Access: | http://hdl.handle.net/10316/42770 |
| Country: | Portugal |
| Oai: | oai:estudogeral.sib.uc.pt:10316/42770 |
| Summary: | The characterization of stably closed maps of topological spaces as the closed maps with compact fibres and the role of the Kuratowski-Mrowka' 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. |
|---|