2-dimensional bifunctor theorems and distributive laws

MaRDI QIDQ5019077zbMATH OpenFDO

Authors Peter F. Faul, José Siqueira, Graham R. Manuell

Publication date 29 December 2021

Full work available at URL https://arxiv.org/abs/2010.07926, http://www.tac.mta.ca/tac/volumes/37/34/37-34abs.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

curryexponentialbraidingtriplemorphism of bicategories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) 2-categories, bicategories, double categories (18N10)

Abstract: In this paper we consider the conditions that need to be satisfied by two families of pseudofunctors with a common codomain for them to be collated into a bifunctor. We observe similarities between these conditions and distributive laws of monads before providing a unified framework from which both of these results may be inferred. We do this by proving a version of the bifunctor theorem for lax functors. We then show that these generalised distributive laws may be arranged into a 2-category Dist(B,C,D), which is equivalent to Lax(B,Lax(C,D)). The collation of a distributive law into its associated bifunctor extends to a 2-functor into Lax($BimesC$, D), which corresponds to uncurrying via the aforementioned equivalence. We also describe subcategories on which collation itself restricts to an equivalence. Finally, we exhibit a number of natural categorical constructions as special cases of our result.

Recommendations

• On the formal theory of pseudomonads and pseudodistributive laws
• On lifting of biadjoints and lax algebras
• Strictification tensor product of 2-categories
• Distributive laws and factorization
• scientific article; zbMATH DE number 6981655

Cites work

• Distributive laws and factorization
• Icons
• Iterated distributive laws
• Strictification tensor product of 2-categories
• The formal theory of monads
• Towards a formal theory of graded monads

Cited in

(3)

• Lax familial representability and lax generic factorizations
• scientific article; zbMATH DE number 7823990 (Why is no real title available?)
• Artin glueings of toposes as adjoint split extensions

This page was built for publication: 2-dimensional bifunctor theorems and distributive laws

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