A Kleisli-based approach to lax algebras (Q842755): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Approach spaces, limit tower spaces, and probabilistic convergence spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3156494 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One setting for all: Metric, topology, uniformity, approach structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4280788 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kleisli compositions for topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2732572 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Neighborhood spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4340906 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3190985 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5701007 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4464692 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4457261 / rank | |||
Normal rank |
Latest revision as of 00:29, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A Kleisli-based approach to lax algebras |
scientific article |
Statements
A Kleisli-based approach to lax algebras (English)
0 references
25 September 2009
0 references
The paper gives a neighborhood-like presentation of categories of lax algebras, whose simplicity pinpoints the importance of the Kleisli extension. Then that is introduced as a particular lax extension of the associated monad functor. In viewing the main result it turns out that up-sets play both the role of neighborhood systems, and of convergence structures in the category CLS of closure spaces. Moreover this description of CLS reproduces the embedding TOP \(\to\) CLS on the monad level via the monad morphism F \(\to\) U, where F denotes the filter monad and U the up-set monad.
0 references
lax algebra
0 references
Kleisli category
0 references
tower extension
0 references
partially ordered monad
0 references
closure space
0 references