The following pages link to Monads Need Not Be Endofunctors (Q3557858):
Displaying 17 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- The coinductive resumption monad (Q283770) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- Remarks on units of skew monoidal categories (Q1701176) (← links)
- The universal exponentiable arrow (Q2078410) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- A Coq Library for Internal Verification of Running-Times (Q2798271) (← links)
- Turing-Completeness Totally Free (Q2941179) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- (Q5109520) (← links)
- Tower Induction and Up-to Techniques for CCS with Fixed Points (Q5283217) (← links)
- Indexed containers (Q5371943) (← links)
- Modules over relative monads for syntax and semantics (Q5741555) (← links)
- The formal theory of relative monads (Q6496517) (← links)
