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

adjoint trianglesbiadjunctionsdescent objectspseudomonads

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.

Review text

There is proved the 2-dimensional analogue of the adjoint triangle theorem of \textit{E. Dubuc} [Lect. Notes Math. 61, 69--91 (1968; Zbl 0172.02103)]. Like in the 1-dimensional case, the result is used to get the pseudomonadicity theorem of Le Creurer, Marmolejo and Vitale [\textit{I. J. Le Creurer} et al., J. Pure Appl. Algebra 173, No. 3, 293--313 (2002; Zbl 1003.18007)]. More applications are given.

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

(20)

• Beck's theorem for pseudo-monads
• Sigma limits in 2-categories and flat pseudofunctors
• Pseudoalgebras and non-canonical isomorphisms
• Semantic factorization and descent
• A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
• scientific article; zbMATH DE number 3971007 (Why is no real title available?)
• On lifting of biadjoints and lax algebras
• Pseudo-Kan extensions and descent theory
• Descent Data and Absolute Kan Extensions
• Adjoint triangles
• On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
• Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent
• Pointwise Kan extensions along 2-fibrations and the 2-category of elements
• Schur functors and categorified plethysm
• Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
• Free extensivity via distributivity
• Galois descent theorem in general categories
• Hofmann-Streicher lifting of fibred categories (extended version)
• Free doubly-infinitary distributive categories are Cartesian closed
• Categorification of algebraic quantum field theories

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)