Pages that link to "Item:Q2689172"

The following pages link to C-system of a module over a \(Jf\)-relative monad (Q2689172):

Displaying 3 items.

• Construction of the circle in \textit{UniMath} (Q2031555) (← links)
• From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
• The formal theory of relative monads (Q6496517) (← links)