Adjoint Lifting Theorems for Categories of Algebras
From MaRDI portal
Publication:4075064
DOI10.1112/blms/7.3.294zbMath0315.18004OpenAlexW1972892796MaRDI QIDQ4075064
Publication date: 1975
Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/blms/7.3.294
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (50)
Lifting theorems for Kleisli categories ⋮ Near distributive laws ⋮ Monoidal algebraic model structures ⋮ Subobject classifier for algebraic structures ⋮ Unnamed Item ⋮ EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ Unnamed Item ⋮ On Coalgebras over Algebras ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Algebraic weak factorisation systems. I: Accessible AWFS. ⋮ Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure ⋮ A (co)algebraic theory of succinct automata ⋮ Algebras versus coalgebras ⋮ Scalar extension of bicoalgebroids. ⋮ Quasi-bimonads and their representations ⋮ Milnor-Moore categories and monadic decomposition ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ On adjunction contexts and regular quasi-monads ⋮ On coalgebras over algebras ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Semientwining structures and their applications. ⋮ Unnamed Item ⋮ Coalgebraic trace semantics via forgetful logics ⋮ A categorical approach to cyclic duality. ⋮ Ionads ⋮ Logical relations for monadic types ⋮ LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES ⋮ Weak multiplier bimonoids ⋮ On lifting of biadjoints and lax algebras ⋮ Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems ⋮ Pre-torsors and Galois comodules over mixed distributive laws ⋮ A coalgebraic presentation of structured transition systems ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Zum Satz von Freyd und Kelly ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ On algebras with effectful iteration ⋮ Every topological category is convenient for Gelfand duality ⋮ Compatibility Conditions Between Rings and Corings ⋮ Serre classes for toposes ⋮ A homotopy-theoretic universal property of Leinster's operad for weak ω-categories ⋮ Well-behaved Translations between Structural Operational Semantics ⋮ Distributive laws for monotone specifications ⋮ Order completion monads ⋮ Trace semantics via determinization ⋮ Coalgebraic semantics for nominal automata ⋮ Unnamed Item ⋮ Combining a monad and a comonad ⋮ Lifting results for categories of algebras ⋮ Azumaya monads and comonads
This page was built for publication: Adjoint Lifting Theorems for Categories of Algebras
