added pointer to:
(Apparently \sslash
is not recognized inside tikzcd
?)
I don’t know if there is a standard convention, but the one you adopted has the virtue of making the canonical “comma square” of the “lax-slice” a lax natural transformation, so it seems at least reasonable. I added a remark to this effect, and a citation to Johnson-Yau.
]]>I’ve swapped the direction of the natural transformation component of the 1-cells, so that removing the isomorphism condition gives the lax slice 2-category agreeing with the convention in 2-Dimensional Categories by Johnson, Yau.
Additionally, I’ve explicitly stated the direction of that component in the lax slice 2-category.
I’m not sure if this is standardized; feel free to revert if nLab has an active preference for the other convention.
]]>Created slice 2-category.
]]>