Generic bicategories

arXiv1805.01703MaRDI QIDQ6301166FDOQ6301166

Publication date: 4 May 2018

Abstract: It is well known that to give an oplax functor of bicategories

m a t h b f 1 o m a t h s c r C

is to give a comonad in

m a t h s c r C

. Here we generalize this fact, replacing the terminal bicategory by any bicategory

m a t h s c r A

for which the composition functor admits generic factorisations. We call bicategories with this property generic, and show that for generic bicategories

m a t h s c r A

one may express the data of an oplax functor

m a t h s c r A o m a t h s c r C

much like the data of a comonad; the main advantage of this description being that it does not directly involve composition in

m a t h s c r A

. We then go on to apply this result to some well known bicategories, such as cartesian monoidal categories (seen as one object bicategories), bicategories of spans, and bicategories of polynomials with cartesian 2-cells.

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

This page was built for publication: Generic bicategories

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