On biadjoint triangles

zbMATH Open1359.18003arXiv1606.05009MaRDI QIDQ2808145FDOQ2808145

Fernando Lucatelli Nunes

Publication date: 26 May 2016

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the pseudomonadicity characterization (due to Le Creurer, Marmolejo and Vitale). Furthermore, we study applications of our main theorems in the context of the $2$-monadic approach to coherence. As a direct consequence of our strict biadjoint triangle theorem, we give the construction (due to Lack) of the left $2$-adjoint to the inclusion of the strict algebras into the pseudoalgebras. In the last section, we give two brief applications on lifting biadjunctions and pseudo-Kan extensions.

Full work available at URL: https://arxiv.org/abs/1606.05009

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• On lifting of biadjoints and lax algebras
• Codescent objects and coherence
• Beck's theorem for pseudo-monads
• On the formal theory of pseudomonads and pseudodistributive laws
• Not every pseudoalgebra is equivalent to a strict one

zbMATH Keywords

pseudomonadsadjoint trianglesbiadjunctionsdescent objects

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cited In (14)

• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Semantic factorization and descent
• Pseudoalgebras and non-canonical isomorphisms
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• Beck's theorem for pseudo-monads
• Pointwise Kan extensions along 2-fibrations and the 2-category of elements
• Adjoint triangles
• Sigma limits in 2-categories and flat pseudofunctors
• Schur functors and categorified plethysm
• Descent Data and Absolute Kan Extensions
• On lifting of biadjoints and lax algebras
• Pseudo-Kan Extensions and Descent Theory
• Categorification of algebraic quantum field theories
• Title not available (Why is that?)

This page was built for publication: On biadjoint triangles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2808145)