Adjoint Lifting Theorems for Categories of Algebras

From MaRDI portal
Publication:4075064

DOI10.1112/blms/7.3.294zbMath0315.18004OpenAlexW1972892796MaRDI QIDQ4075064

Peter T. Johnstone

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




Related Items (50)

Lifting theorems for Kleisli categoriesNear distributive lawsMonoidal algebraic model structuresSubobject classifier for algebraic structuresUnnamed ItemEXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGSRegular behaviours with names: on rational fixpoints of endofunctors on nominal setsUnnamed ItemOn Coalgebras over AlgebrasStructural Operational Semantics and Modal Logic, RevisitedAlgebraic weak factorisation systems. I: Accessible AWFS.Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structureA (co)algebraic theory of succinct automataAlgebras versus coalgebrasScalar extension of bicoalgebroids.Quasi-bimonads and their representationsMilnor-Moore categories and monadic decompositionOn Hopf adjunctions, Hopf monads and Frobenius-type propertiesOn adjunction contexts and regular quasi-monadsOn coalgebras over algebrasBialgebras for structural operational semantics: an introductionSemientwining structures and their applications.Unnamed ItemCoalgebraic trace semantics via forgetful logicsA categorical approach to cyclic duality.IonadsLogical relations for monadic typesLIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIESWeak multiplier bimonoidsOn lifting of biadjoints and lax algebrasSound and Complete Axiomatization of Trace Semantics for Probabilistic SystemsPre-torsors and Galois comodules over mixed distributive lawsA coalgebraic presentation of structured transition systemsDistributive laws for the coinductive solution of recursive equationsZum Satz von Freyd und KellyLong-term values in Markov decision processes, (co)algebraicallyOn algebras with effectful iterationEvery topological category is convenient for Gelfand dualityCompatibility Conditions Between Rings and CoringsSerre classes for toposesA homotopy-theoretic universal property of Leinster's operad for weak ω-categoriesWell-behaved Translations between Structural Operational SemanticsDistributive laws for monotone specificationsOrder completion monadsTrace semantics via determinizationCoalgebraic semantics for nominal automataUnnamed ItemCombining a monad and a comonadLifting results for categories of algebrasAzumaya monads and comonads






This page was built for publication: Adjoint Lifting Theorems for Categories of Algebras