Björn Gohla, CAMGSD, Universidade de Lisboa
Internal Strictification

It is well known that ordinary bicategories can always be replaced by bi-equivalent strict 2-categories. Special cases of this are the strictification of monoidal categories and categorical groups. We give an abstract strictification construction for pseudo-monoids in a monoidal 2-category. It is easy to see that bicategories internal to an appropriate category are such pseudo-monoids, and can hence be strictified. (Joint work with Nelson Martins-Ferreira)