Lema de Yoneda bicategórico y coherencia para bicategorías

En esta charla vamos a introducir algunos conceptos básicos de la teoría de bicategorías e ilustrarlos mediante la comparación con sus "contrapartes" en categorías monoidales. Luego siguiendo la analogía de la construcción del funtor de Yoneda clásico vamos a esbozar la construcción de la bicategoría Hom(B,B') de pseudofuntores entre dos bicategorías B,B' y del funtor de Yoneda bicategoríco Y : B → Hom(B^op,Cat). Finalmente veremos en un ejemplo como esta versión del lema de Yoneda implica un resultado de coherencia para bicategorías (todos los diagramas de un cierto tipo conmutan).