Colax adjunctions and lax-idempotent pseudomonads

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F25%3A00140681" target="_blank" >RIV/00216224:14310/25:00140681 - isvavai.cz</a>
Result on the web
<a href="http://www.tac.mta.ca/tac/volumes/44/7/44-07abs.html" target="_blank" >http://www.tac.mta.ca/tac/volumes/44/7/44-07abs.html</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Colax adjunctions and lax-idempotent pseudomonads
Original language description
We prove a generalization of a theorem of Bunge and Gray about forming colax adjunctions out of relative Kan extensions and apply it to the study of the Kleisli 2-category for a lax-idempotent pseudomonad. For instance, we establish the weak completeness of the Kleisli 2-category and describe colax change-of-base adjunctions between Kleisli 2-categories. Our approach covers such examples as the bicategory of small profunctors and the 2-category of lax triangles in a 2-category. The duals of our results provide lax analogues of classical results in two-dimensional monad theory: for instance, establishing the weak cocompleteness of the 2-category of strict algebras and lax morphisms and the existence of colax change-of-base adjunctions.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics

Project
<a href="/en/project/GA22-02964S" target="_blank" >GA22-02964S: Enriched categories and their applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)