The following pages link to (Q5579535):
Displaying 50 items.
- Coalgebraic update lenses (Q283736) (← links)
- The coinductive resumption monad (Q283770) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Duality features of left Hopf algebroids (Q312573) (← links)
- Factorizable enriched categories and applications (Q411784) (← links)
- Adding fuzziness to terms and powerobjects using a monadic approach (Q419043) (← links)
- On the classification of twisting maps between \(K^n\) and \(K^m\). (Q431836) (← links)
- A categorical approach to cyclic duality. (Q446422) (← links)
- Completely and totally distributive categories. I. (Q456849) (← links)
- Hopf monads on monoidal categories (Q533951) (← links)
- Pre-torsors and Galois comodules over mixed distributive laws (Q543492) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
- Monads and comonads on module categories (Q734798) (← links)
- Multiplicative infinite loop space theory (Q789055) (← links)
- On quasi-Hopf smash products and twisted tensor products of quasialgebras. (Q838966) (← links)
- Examples of para-cocyclic objects induced by \(BD\)-laws (Q838990) (← links)
- Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories (Q847679) (← 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)
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- Factorisations of distributive laws (Q898181) (← links)
- The universal Hopf-cyclic theory. (Q936172) (← links)
- (Co)cyclic (co)homology of bialgebroids: An approach via (co)monads (Q956643) (← links)
- Homomorphisms of higher categories (Q984873) (← links)
- The weak theory of monads (Q986072) (← links)
- Galois functors and entwining structures (Q986526) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Semi-topological functors III: Lifting of monads and adjoint functors (Q1137109) (← links)
- Triples and compact sheaf representation (Q1150684) (← links)
- The construction of cofree coalgebras (Q1208226) (← links)
- Natural state transformations (Q1217073) (← links)
- Change of base for toposes with generators (Q1236172) (← links)
- On the relationship between composite and tensor product triples (Q1252285) (← links)
- Semantics of weakening and contraction (Q1337357) (← links)
- A coherent approach to pseudomonads (Q1578071) (← links)
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones (Q1634845) (← links)
- Extensions of operators, liftings of monads, and distributive laws (Q1656721) (← links)
- Representations of crossed modules and other generalized Yetter-Drinfel'd modules (Q1681841) (← links)
- Quantalic topological theories (Q1689324) (← links)
- Distributive laws and Koszulness (Q1816858) (← links)
- Cost functors and optimal realization (Q1819936) (← links)
- Similarities between powersets of terms (Q1827316) (← links)
- An extension of the regular completion (Q1850097) (← links)
- The formal theory of monads. II (Q1850104) (← links)
