Lax algebra meets topology (Q429335): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2011.09.049 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1991966037 / rank | |||
Normal rank |
Revision as of 20:05, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lax algebra meets topology |
scientific article |
Statements
Lax algebra meets topology (English)
0 references
19 June 2012
0 references
Let \(\mathbb{T}\) be a monad on \(Set\), which extends to the category of sets and \(V\)-valued relations for a quantale \(V\). The examples of lax algebras for this type of monad include ordered sets, metric spaces, topological spaces, closure spaces, and approach spaces for suitable choices of \(V\) and \(\mathbb{T}\). In this paper, the authors present possible candidate axiomatisations for notions of `closed map' and `proper map' in such categories of lax algebras.
0 references
monad
0 references
lax extension
0 references
lax algebra
0 references
compact object
0 references
separated object
0 references
perfect morphism
0 references