Monads for which structures are adjoint to units
From MaRDI portal
Publication:1903697
DOI10.1016/0022-4049(94)00111-UzbMath0849.18008MaRDI QIDQ1903697
Publication date: 30 June 1996
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Unnamed Item ⋮ Characterising E-projectives via co-monads ⋮ Completely distributive enriched categories are not always continuous ⋮ Unnamed Item ⋮ Exponentiable Grothendieck categories in flat algebraic geometry ⋮ A characterisation of algebraic exactness ⋮ Variations on the bagdomain theme ⋮ Lax orthogonal factorisation systems ⋮ Order-adjoint monads and injective objects ⋮ Lax distributive laws for topology, II ⋮ A calculus of lax fractions ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Accessibility and presentability in 2-categories ⋮ The symmetric topos ⋮ The double power monad is the composite power monad ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Wreaths, mixed wreaths and twisted coactions ⋮ Injective hulls of quantale-enriched multicategories ⋮ Approaching metric domains ⋮ Injective spaces via adjunction ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Fibrewise injectivity and Kock-Zöberlein monads ⋮ On presheaf submonads of quantale-enriched categories ⋮ Compact Hausdorff locales in presheaf toposes ⋮ Galois connecting call-by-value and call-by-name ⋮ Unnamed Item ⋮ Characterising E-projectives via Comonads ⋮ Two-dimensional regularity and exactness ⋮ Order-preserving reflectors and injectivity ⋮ Pseudo-commutativity of KZ 2-monads ⋮ Lex colimits ⋮ A duality of quantale-enriched categories ⋮ Unnamed Item ⋮ Elementary doctrines as coalgebras ⋮ Enhanced 2-categories and limits for lax morphisms ⋮ Pseudoalgebras and non-canonical isomorphisms ⋮ Complete and directed complete \(\Omega \)-categories ⋮ The limit–colimit coincidence theorem for -categories ⋮ Projective sup-algebras: a general view ⋮ Algebra and local presentability: how algebraic are they? (A survey) ⋮ On Kan-injectivity of locales and spaces ⋮ On lifting of biadjoints and lax algebras ⋮ Yoneda structures and KZ doctrines ⋮ On the Logic of Generalised Metric Spaces ⋮ Kan injectivity in order-enriched categories ⋮ Pitts monads and a lax descent theorem ⋮ Distributive laws via admissibility ⋮ Doctrines on 2-categories ⋮ The general theory of diads ⋮ Unnamed Item ⋮ On algebraically exact categories and essential localizations of varieties ⋮ From coherent structures to universal properties ⋮ Lax orthogonal factorisations in ordered structures ⋮ Lax familial representability and lax generic factorizations ⋮ A basic distributive law ⋮ Discrete and conservative factorizations in \textbf{Fib}\((B)\) ⋮ Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting ⋮ The formal ball model for -categories ⋮ Many for the price of one duality principle for affine sets ⋮ Spreads and the symmetric topos ⋮ Formal ball monads ⋮ An Australian Conspectus of Higher Categories ⋮ Representable multicategories ⋮ Properly injective spaces and function spaces ⋮ A representation result for free cocompletions ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ A factorization of regularity ⋮ An extension of the regular completion ⋮ Codescent objects and coherence ⋮ The formal theory of monads. II ⋮ Order completion monads ⋮ Taut monads and \(T0\)-spaces.
Cites Work
- A presentation of topoi as algebraic relative to categories or graphs
- Order completion monads
- The closure of a class of colimits
- Two-dimensional monad theory
- Conspectus of variable categories
- Continuous categories and exponentiable toposes
- Doctrines on 2-categories
- Generators and relations for \(\Delta\) as a monoidal 2-category
- Monads on symmetric monoidal closed categories
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Constructive complete distributivity II
- Bilinearity and Cartesian Closed Monads.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item