2-dimensional bifunctor theorems and distributive laws

zbMATH Open1477.18045arXiv2010.07926MaRDI QIDQ5019077FDOQ5019077

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

Publication date: 29 December 2021

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.

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

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

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

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)

Cites Work

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

Cited In (3)

• Lax familial representability and lax generic factorizations
• Title not available (Why is that?)
• 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)