The Clowder Project

\begin{align*} \text{Rift}_{R}\webleft (V\webright )& \cong \int _{b\in B}\textup{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{b}_{-_{1}},V^{b}_{-_{2}}\webright )\\ & =\webleft\{ a\in A\ \middle |\ \int _{b\in B}\textup{Hom}_{\{ \mathsf{t},\mathsf{f}\} }\webleft (R^{b}_{a},V^{b}_{\star }\webright )=\mathsf{true}\webright\} \\ & = \webleft\{ a\in A\ \middle |\ \begin{aligned} & \text{for each $b\in B$, at least one of the}\\[-2.5pt]& \text{following conditions hold:}\\[7.5pt]& \mspace {25mu}\rlap {\text{1.}}\mspace {22.5mu}\text{We have $R^{b}_{a}=\mathsf{false}$}\\ & \mspace {25mu}\rlap {\text{2.}}\mspace {22.5mu}\text{The following conditions hold:}\\[7.5pt]& \mspace {50mu}\rlap {\text{(a)}}\mspace {30mu}\text{We have $R^{b}_{a}=\mathsf{true}$}\\ & \mspace {50mu}\rlap {\text{(b)}}\mspace {30mu}\text{We have $V^{b}_{\star }=\mathsf{true}$}\\[10pt]\end{aligned} \webright\} \\ & = \webleft\{ a\in A\ \middle |\ \begin{aligned} & \text{for each $b\in B$, at least one of the}\\[-2.5pt]& \text{following conditions hold:}\\[7.5pt]& \mspace {25mu}\rlap {\text{1.}}\mspace {22.5mu}\text{We have $b\not\in R\webleft (a\webright )$}\\ & \mspace {25mu}\rlap {\text{2.}}\mspace {22.5mu}\text{The following conditions hold:}\\[7.5pt]& \mspace {50mu}\rlap {\text{(a)}}\mspace {30mu}\text{We have $b\in R\webleft (a\webright )$}\\ & \mspace {50mu}\rlap {\text{(b)}}\mspace {30mu}\text{We have $b\in V$}\\[10pt]\end{aligned} \webright\} \\ & = \webleft\{ a\in A\ \middle |\ \text{for each $b\in R\webleft (a\webright )$, we have $b\in V$}\webright\} \\ & = \webleft\{ a\in A\ \middle |\ R\webleft (a\webright )\subset V\webright\} \\ & \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}R_{-1}\webleft (V\webright ).\end{align*}