¿Son lo mismo las bicategorías y las bicategorías laxas?

Question

Mi pregunta es que si la definición de bicategorías es la misma que la definición de 2-categorías laxas.

He oído que ambas son versiones semanales de 2 categorías.

¿Son iguales? Si no es así, ¿en qué se diferencian?

Me gustaría conocer respuestas y referencias que definan con rigor estas definiciones.

Gracias.

Answer 1

Leinster introdujo un bicategoría laxa (def. 3.4.1) -- de manera imparcial --, que es aún más laxa que una bicategoría normal, en el sentido de que los morfismos de coherencia en ella son no se supone que es isomorfismos .