2 problems

A delta lens is a delta lens $(f,\varphi)\colon A\to B$, and a split opfibration is a split opfibration between categories. For monoids, viewed as categories with a single object,…

Let $\mathcal{C}$ be the category under consideration, and let $(T,\nu)$ be a semi-monad on its arrow category $\mathcal{C}^{\mathbf{2}}$. Let $(R,\eta,\mu)$ be the monad on…