The following pages link to The formal theory of monads (Q2553668):
Displayed 50 items.
- Notions of computation and monads (Q757075) (← links)
- Limits for lax morphisms (Q816648) (← links)
- The Serre spectral sequence of a noncommutative fibration for de Rham cohomology (Q856797) (← links)
- General twisting of algebras. (Q881968) (← links)
- Variation through enrichment (Q1061829) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Semi-topological functors III: Lifting of monads and adjoint functors (Q1137109) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Induced functors on categories of algebras (Q1215567) (← links)
- V-localizations and V-Kleisli algebras (Q1221164) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- Yoneda structures on 2-categories (Q1255083) (← links)
- Categories (Q1255566) (← links)
- Soft adjunction between 2-categories (Q1262383) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Restriction categories II: Partial map classification (Q1398462) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- The monoidal Eilenberg-Moore construction and bialgebroids (Q1399150) (← links)
- Weak \(n\)-categories: Comparing opetopic foundations. (Q1426337) (← links)
- Representable multicategories (Q1570232) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Fixpoint operators for domain equations (Q1605186) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- The formal theory of monads. II (Q1850104) (← links)
- Distributive laws and factorization (Q1850107) (← links)
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories (Q1868703) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- The bicategories of corings. (Q2369024) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- Operads within monoidal pseudo algebras (Q2432567) (← links)
- Coherence for product monoids and their actions (Q2432580) (← links)
- Powersets of terms and composite monads (Q2457025) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- A factorization of regularity (Q2573482) (← links)
- Cauchy characterization of enriched categories (Q3324131) (← links)
- (Q3328714) (← links)
- Corings over rings with local units (Q3627949) (← links)
- (Q3708172) (← links)
- (Q3792855) (← links)
- Idempotents in bicategories (Q3810810) (← links)
- (Q3916716) (← links)
- Quasi-Kan extensions for 2-categories (Q4133790) (← links)
- Cosmoi of Internal Categories (Q4175737) (← links)
- A category-theoretic account of program modules (Q4713399) (← links)