The following pages link to Monads need not be endofunctors (Q5177334):
Displaying 26 items.
- On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Morita contexts as lax functors (Q2015832) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- (Q3384908) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- (Q5009703) (← links)
- Directed Containers as Categories (Q5013830) (← links)
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs (Q5019018) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5101336) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities (Q6077388) (← links)
- A skew approach to enrichment for Gray-categories (Q6087076) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- The formal theory of relative monads (Q6496517) (← links)
- The pebble-relation comonad in finite model theory (Q6563056) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)
