Codensity: Isbell duality, pro-objects, compactness and accessibility
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2019
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911087485517824 |
|---|---|
| author | Di Liberti, Ivan |
| author_facet | Di Liberti, Ivan |
| contents | We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove that they are quite unlikely to be accessible. Finally, we introduce the notion of generically idempotent monad and comment its properties. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1910_01014 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Codensity: Isbell duality, pro-objects, compactness and accessibility Di Liberti, Ivan Category Theory General Topology Logic We study codensity monads $T$ induced by (mostly small, mostly dense) full subcategories $A \subset K$. These monads behave quite similarly, we show some connections with the Isbell duality, pro-finite objects and compact spaces. We prove that they are quite unlikely to be accessible. Finally, we introduce the notion of generically idempotent monad and comment its properties. |
| title | Codensity: Isbell duality, pro-objects, compactness and accessibility |
| topic | Category Theory General Topology Logic |
| url | https://arxiv.org/abs/1910.01014 |