Pages that link to "Item:Q4075064"
From MaRDI portal
The following pages link to Adjoint Lifting Theorems for Categories of Algebras (Q4075064):
Displaying 50 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- A categorical approach to cyclic duality. (Q446422) (← links)
- Ionads (Q456842) (← links)
- Pre-torsors and Galois comodules over mixed distributive laws (Q543492) (← links)
- On coalgebras over algebras (Q639641) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Weak multiplier bimonoids (Q682071) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Milnor-Moore categories and monadic decomposition (Q903948) (← links)
- Order completion monads (Q1055871) (← links)
- Subobject classifier for algebraic structures (Q1097957) (← links)
- Zum Satz von Freyd und Kelly (Q1235253) (← links)
- Every topological category is convenient for Gelfand duality (Q1255208) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- On Hopf adjunctions, Hopf monads and Frobenius-type properties (Q1701170) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- On adjunction contexts and regular quasi-monads (Q1948522) (← links)
- Semientwining structures and their applications. (Q1952648) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Near distributive laws (Q2134823) (← links)
- Quasi-bimonads and their representations (Q2196320) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Azumaya monads and comonads (Q2352961) (← links)
- Monoidal algebraic model structures (Q2376561) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- Scalar extension of bicoalgebroids. (Q2426125) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Well-behaved Translations between Structural Operational Semantics (Q2842565) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES (Q2995434) (← links)
- (Q3315681) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- Compatibility Conditions Between Rings and Corings (Q3638406) (← links)
- A homotopy-theoretic universal property of Leinster's operad for weak ω-categories (Q3646108) (← links)
- (Q3792855) (← links)
- Serre classes for toposes (Q3909184) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4683859) (← links)
- (Q5014802) (← links)
- EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS (Q5305537) (← links)
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems (Q5739363) (← links)
- Lifting theorems for Kleisli categories (Q5890054) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
