The following pages link to Monads need not be endofunctors (Q5177334):
Displayed 27 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)
- 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)
- Flexibly graded monads and graded algebras (Q6109207) (← 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)
- Linearity and uniqueness: an entente cordiale (Q6166794) (← links)
- Variable binding and substitution for (nameless) dummies (Q6181939) (← links)
- Maximally multi-focused proofs for skew non-commutative \texttt{MILL} (Q6199592) (← links)
- (Q6201712) (← links)