The following pages link to The formal theory of monads (Q2553668):
Displaying 32 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)
- Faà di Bruno for operads and internal algebras (Q4967971) (← links)
- (Q4993351) (← links)
- A category-theoretic account of program modules (Q5096254) (← links)
- A dialectica-like model of linear logic (Q5096268) (← links)
- On operads, bimodules and analytic functors (Q5366976) (← links)
- The algebra of the Feistel-Toffoli construction (Q6087902) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- The formal theory of relative monads (Q6496517) (← links)
