On biadjoint triangles

MaRDI QIDQ2808145zbMATH OpenFDO

Authors Fernando Lucatelli Nunes

Publication date 26 May 2016

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

Full work available at URL https://arxiv.org/abs/1606.05009, http://www.emis.de/journals/TAC/volumes/31/9/31-09abs.html

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

zbMATH Keywords

pseudomonadsadjoint trianglesbiadjunctionsdescent objects

Mathematics Subject Classification ID

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

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.

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

Cited in

(18)

• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Semantic factorization and descent
• A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
• Free extensivity via distributivity
• Pseudoalgebras and non-canonical isomorphisms
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• Pseudo-Kan extensions and descent theory
• 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
• Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
• Galois descent theorem in general categories
• On lifting of biadjoints and lax algebras
• Categorification of algebraic quantum field theories
• scientific article; zbMATH DE number 3971007 (Why is no real title available?)

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)