Pages that link to "Item:Q2689172"
From MaRDI portal
The following pages link to C-system of a module over a \(Jf\)-relative monad (Q2689172):
Displaying 5 items.
- Construction of the circle in \textit{UniMath} (Q2031555) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Lawvere theories and C-systems (Q4959711) (← links)
- C-system of a module over a $Jf$-relative monad (Q6269946) (← links)
- The formal theory of relative monads (Q6496517) (← links)