D-ultrafilters and their monads (Q2217539): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1909.04950 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Colimit-dense subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tensor Products and Bimorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4314472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operations Preserving All Equivalence Relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Adequate subcategories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equational completion, model induced triples and pro-objects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong functors and monoidal monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Codensity and the ultrafilter monad / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5523691 / rank | |||
Normal rank |
Latest revision as of 07:03, 24 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | D-ultrafilters and their monads |
scientific article |
Statements
D-ultrafilters and their monads (English)
0 references
30 December 2020
0 references
It is well-known that a codensity monad on the category of sets of the full embedding of finite sets is the ultrafilter monad. The paper generalizes this to a number of locally finitely presentable categories \(\mathcal K\) by introducing a concept of \(D\)-ultrafilter on an object \(K\) where \(D\) is a suitable cogenerator of of \(\mathcal K\) (in sets, this cogenerator is \(2\)). It applies to categories of vector spaces, posets, or semilattices.
0 references
codensity monad
0 references
locally finitely presentable category
0 references
ultrafilter
0 references