El clasificador de pseudomorfismos como un colímite

que me gusta mucho. Vamos a hablar de 2-mónadas sobre un 2-categoría y
de las T-+algebras estrictas que tienen asociadas. Entre T-álgebras se
pueden definir varios tipos de morfismos: los morfismos laxos, los
pseudomorfismos y los morfismos estrictos. Bajo ciertas hipótesis,
existe una biyección entre los pseudomorfismos A-->B entre dos álgebras
A,B y los morfismos estrictos A'-->B donde A’ es otra álgebra llamada el
clasificador de pseudomorfismos. Este objeto puede describirse de varias
maneras pero la que les voy a contar es la construcción que hizo Steve
Lack en el artículo “Codescent objects and coherence”. Más
específicamente, veremos cómo se puede obtener el clasificador de
pseudomorfismos como un cierto colímite conocido como objeto de
codescenso.