Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added the description of lax (co)limits of Cat-valued functors via (co)ends and ordinary (co)limits. I should probably flesh this out more.
I’ve adopted the convention on twisted arrows at twisted arrow category, which is opposite of that in GNN.
In the case of ordinary 2-category, when the diagram category is a 1-category, is the expression of lax (co)limits via ordinary weighted (co)limits really as simple as taking the weights $C_{\bullet/}$ or $C_{/\bullet}$? I can’t find a reference that spells that out clearly; if there really is such a simple description it should be put on the lax (co)limit page.
1 to 9 of 9