Adjoint functor theorems for lax-idempotent pseudomonads
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908593003954176 |
|---|---|
| author | Arkor, Nathanael Di Liberti, Ivan Loregian, Fosco |
| author_facet | Arkor, Nathanael Di Liberti, Ivan Loregian, Fosco |
| contents | For each pair of lax-idempotent pseudomonads $R$ and $I$, for which $I$ is locally fully faithful and $R$ distributes over $I$, we establish an adjoint functor theorem, relating $R$-cocontinuity to adjointness relative to $I$. This provides a new perspective on the nature of adjoint functor theorems, which may be seen as methods to decompose adjointness into cocontinuity and relative adjointness. As special cases, we recover variants of the adjoint functor theorem of Freyd, the multiadjoint functor theorem of Diers, and the pluriadjoint functor theorem of Solian--Viswanathan, as well as the adjoint functor theorems for locally presentable categories. More generally, we recover enriched $Φ$-adjoint functor theorems for weakly sound classes of weight $Φ$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_10389 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Adjoint functor theorems for lax-idempotent pseudomonads Arkor, Nathanael Di Liberti, Ivan Loregian, Fosco Category Theory 18D70, 18D65, 18C15, 18A35, 18A40, 18D20, 18N10 For each pair of lax-idempotent pseudomonads $R$ and $I$, for which $I$ is locally fully faithful and $R$ distributes over $I$, we establish an adjoint functor theorem, relating $R$-cocontinuity to adjointness relative to $I$. This provides a new perspective on the nature of adjoint functor theorems, which may be seen as methods to decompose adjointness into cocontinuity and relative adjointness. As special cases, we recover variants of the adjoint functor theorem of Freyd, the multiadjoint functor theorem of Diers, and the pluriadjoint functor theorem of Solian--Viswanathan, as well as the adjoint functor theorems for locally presentable categories. More generally, we recover enriched $Φ$-adjoint functor theorems for weakly sound classes of weight $Φ$. |
| title | Adjoint functor theorems for lax-idempotent pseudomonads |
| topic | Category Theory 18D70, 18D65, 18C15, 18A35, 18A40, 18D20, 18N10 |
| url | https://arxiv.org/abs/2306.10389 |