arXiv Analytics

Sign in

arXiv:2010.07926 [math.CT]AbstractReferencesReviewsResources

2-dimensional bifunctor theorems and distributive laws

Peter F. Faul, José Siqueira, Graham Manuell

Published 2020-10-15Version 1

In this paper we provide 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 the similarities between these conditions and distributive laws of monads before providing a unified framework from which both of these results may be inferred. This we do by proving a version of the bifunctor theorem for lax functors. We show that these generalised distributive laws may be arranged into a 2-category Dist(B,C,D) and the collation of the distributive law into its associated bifunctor is given by a 2-functor into Lax(B x C, D). Furthermore, we show that the category Dist(B,C,D) is equivalent to Lax(B,Lax(C,D)) and that the collation 2-functor corresponds to uncurrying.

Comments: 22 pages
Categories: math.CT
Related articles: Most relevant | Search more
arXiv:2004.08516 [math.CT] (Published 2020-04-18)
Conditions for uniqueness of factorizations on the Rel$(D^\#)$ category
arXiv:1209.4436 [math.CT] (Published 2012-09-20, updated 2013-04-08)
Morita contexts as lax functors
arXiv:1307.7216 [math.CT] (Published 2013-07-27)
A calculus on lax functors