The following pages link to The formal theory of monads (Q2553668):
Displaying 50 items.
- 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)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Quantalic topological theories (Q1689324) (← links)
- Levelwise modules over separable monads on stable derivators (Q1703587) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- Gabriel-Morita theory for excisive model categories (Q1732879) (← links)
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) (Q1743002) (← links)
- A general limit lifting theorem for 2-dimensional monad theory (Q1743022) (← 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)
- Involutive categories and monoids, with a GNS-correspondence (Q1929298) (← links)
- Representing geometric morphisms using power locale monads (Q1937980) (← links)
- Smash coproducts of monoidal comonads and Hom-entwining structures (Q2008600) (← links)
- Morita contexts as lax functors (Q2015832) (← links)
- The incidence comodule bialgebra of the Baez-Dolan construction (Q2020408) (← links)
- Turaev bicategories and generalized Yetter-Drinfel'd modules in 2-categories (Q2022782) (← links)
- Semantic factorization and descent (Q2105683) (← links)
- Paired wreaths: 2-categorical background of a class of cross products (Q2107655) (← links)
- Coextension of scalars in operad theory (Q2126066) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- The cosemisimplicity and cobraided structures of monoidal comonads (Q2141335) (← links)
- Tensor topology (Q2176086) (← links)
- Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory (Q2188406) (← links)
- Quasi-bimonads and their representations (Q2196320) (← links)
- Cotwists of bicomonads and BiHom-bialgebras (Q2199639) (← links)
- Graded algebraic theories (Q2200837) (← links)
- The Gray tensor product for 2-quasi-categories (Q2217525) (← links)
- Weak bimonoids in duoidal categories (Q2249253) (← links)
- A skew-duoidal Eckmann-Hilton argument and quantum categories (Q2254583) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- Conservative descent for semi-orthogonal decompositions (Q2281319) (← links)
- Codensity, profiniteness and algebras of semiring-valued measures (Q2318383) (← links)
- Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)
- Weak Hom-Hopf algebras and their (co)representations. (Q2352281) (← links)
- The bicategories of corings. (Q2369024) (← links)
- Skew-closed categories (Q2376553) (← links)
- Hochschild homology, lax codescent, and duplicial structure (Q2404189) (← links)
- Wreaths, mixed wreaths and twisted coactions (Q2406555) (← links)
