The following pages link to The formal theory of monads (Q2553668):
Displaying 50 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Relation lifting, a survey (Q299182) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- A micrological study of negation (Q345707) (← links)
- On the category of weak bialgebras (Q397895) (← links)
- Algebraic theory of vector-valued integration (Q424559) (← links)
- A categorical approach to cyclic duality. (Q446422) (← links)
- Factorization systems induced by weak distributive laws (Q452328) (← links)
- Ionads (Q456842) (← links)
- The formal theory of monoidal monads (Q456867) (← links)
- Monads with arities and their associated theories (Q456883) (← links)
- Monoidal ring and coring structures obtained from wreaths and cowreaths. (Q458392) (← links)
- Monads in double categories (Q531324) (← links)
- Weak bimonads and weak Hopf monads (Q536159) (← links)
- Internal Kleisli categories (Q538059) (← links)
- Pre-torsors and Galois comodules over mixed distributive laws (Q543492) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Idempotent splittings, colimit completion, and weak aspects of the theory of monads (Q659876) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- On monoids in the category of sets and relations (Q682629) (← links)
- The general theory of diads (Q711376) (← links)
- Monads and comonads on module categories (Q734798) (← links)
- Notions of computation and monads (Q757075) (← links)
- Limits for lax morphisms (Q816648) (← links)
- Closed categories, star-autonomy, and monoidal comonads (Q834844) (← links)
- On quasi-Hopf smash products and twisted tensor products of quasialgebras. (Q838966) (← links)
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← links)
- The Serre spectral sequence of a noncommutative fibration for de Rham cohomology (Q856797) (← links)
- General twisting of algebras. (Q881968) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Homotopy coherent adjunctions and the formal theory of monads (Q890142) (← links)
- Representable \((\mathbb{T},\mathbf{V})\)-categories (Q891924) (← links)
- Factorisations of distributive laws (Q898181) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Modules over monads and initial semantics (Q964503) (← links)
- The weak theory of monads (Q986072) (← 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)
