The right $J$-skew associator of $\mathbf{Rel}\webleft (A,B\webright )$ is the natural transformation

\[ \alpha ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd _{J}}\colon {\rhd _{J}}\circ {\webleft (\mathsf{id}\times {\rhd _{J}}\webright )}\Longrightarrow {\rhd _{J}}\circ {\webleft ({\rhd _{J}}\times \mathsf{id}\webright )}\circ {\mathbf{\alpha }^{\mathsf{Cats},-1}_{\mathbf{Rel}\webleft (A,B\webright ),\mathbf{Rel}\webleft (A,B\webright ),\mathbf{Rel}\webleft (A,B\webright )}}, \]

as in the diagram

whose component

\[ \alpha ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd _{J}}_{T,S,R}\colon \underbrace{T\rhd _{J}\webleft (S\rhd _{J}R\webright )}_{\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }\text{Ran}_{J}\webleft (S\webright )\mathbin {\diamond }R}\hookrightarrow \underbrace{\webleft (T\rhd _{J}S\webright )\rhd _{J}R}_{\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\text{Ran}_{J}\webleft (\text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }S\webright )\mathbin {\diamond }R} \]

at $\webleft (T,S,R\webright )$ is given by

\[ \alpha ^{\mathbf{Rel}\webleft (A,B\webright ),\rhd }_{T,S,R}\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\gamma \mathbin {\diamond }\text{id}_{R}, \]

where

\[ \gamma \colon \text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }\text{Ran}_{J}\webleft (S\webright ) \hookrightarrow \text{Ran}_{J}\webleft (\text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }S\webright ) \]

is the inclusion adjunct to the inclusion

\[ \text{id}_{\text{Ran}_{J}\webleft (T\webright )}\mathbin {\diamond }\epsilon _{S}\colon \underbrace{\text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }\text{Ran}_{J}\webleft (S\webright )\mathbin {\diamond }J}_{\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}J^{*}\webleft (\text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }\text{Ran}_{J}\webleft (S\webright )\webright )}\hookrightarrow \text{Ran}_{J}\webleft (T\webright )\mathbin {\diamond }S \]

under the adjunction $J^{*}\dashv \text{Ran}_{J}$, where $\epsilon \colon {\text{Ran}_{J}}\mathbin {\diamond }{J}\Longrightarrow \text{id}_{\mathbf{Rel}\webleft (A,B\webright )}$ is the counit of the adjunction $J^{*}\dashv \text{Ran}_{J}$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: