scientific article; zbMATH DE number 3522194
From MaRDI portal
zbMath0334.18016MaRDI QIDQ4100671
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Monoidal Grothendieck construction, Conditional rewriting logic: Deduction, models and concurrency, Strong shape in categories enriched over groupoids, Van Kampen Colimits as Bicolimits in Span, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Unnamed Item, Parametrized fixed points and their applications to session types, Unnamed Item, Morphisms of open games, An (∞,2)-categorical pasting theorem, The theory of half derivators, Fragmentary structure of global knowledge: constructive processes for interoperability, Ordinals in Frobenius monads, Skew-closed categories, Monoidal algebraic model structures, Relating two categorical models of term rewriting, Compositional term rewriting: An algebraic proof of Toyama's theorem, Unnamed Item, Algebraic models of change of groups functors in (co)free rational equivariant spectra, On lax epimorphisms and the associated factorization, Yoneda structures from 2-toposes, Structural Operational Semantics and Modal Logic, Revisited, A generalization of Gabriel's Galois covering functors. II: 2-categorical Cohen-Montgomery duality, Unnamed Item, Pre-adjunctions in order enriched categories, Descent Data and Absolute Kan Extensions, Unnamed Item, Real sets, Wreaths, mixed wreaths and twisted coactions, Unnamed Item, Compositional characterization of observable program properties, Unnamed Item, Unnamed Item, Temporal structures, An abstract formulation for rewrite systems, CPO models for infinite term rewriting, Non-semisimple extended topological quantum field theories, Fundamentals of compositional rewriting theory, The left adjoint of derived parabolic induction, Universal properties of bicategories of polynomials, Unnamed Item, Polycategories via pseudo-distributive laws, Accessible aspects of 2-category theory, A variety theorem for relational universal algebra, Free hypermodules: a categorical approach, \(G_\infty\)-ring spectra and Moore spectra for \(\beta\)-rings, Unnamed Item, Unnamed Item, Two-dimensional monadicity, Some exact sequences associated with adjunctions in bicategories. Applications, Traces in monoidal derivators, and homotopy colimits, Internalizing decorated bicategories: The globularily generated condition, Unnamed Item, Unnamed Item, Unnamed Item, Representability and autoequivalence groups, Unnamed Item, Unnamed Item, Two-dimensional linear algebra, Contractible exact squares, A construction of certain weak colimits and an exactness property of the 2-category of categories, Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories, Coalgebroids in monoidal bicategories and their comodules, Using categorical methods in computer science, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, 2-categorical aspects of strong shape, Unnamed Item, Conservative descent for semi-orthogonal decompositions, What is a free double category like?, Categories enriched on two sides, Unnamed Item, A basic distributive law, Tannaka duality for Maschkean categories, Pivotal tricategories and a categorification of inner-product modules, The existential completion, Unnamed Item, Higher symmetries in abstract stable homotopy theories, Involutive categories, colored $\ast$-operads and quantum field theory, On the formal theory of pseudomonads and pseudodistributive laws, Extending set functors to generalised metric spaces, Algebraic Geometry over 𝐶^{∞}-rings, Unnamed Item, A 2-Categories Companion, An Australian Conspectus of Higher Categories, Unnamed Item, The Classifying Space of a Topological 2-Group, Well-behaved Translations between Structural Operational Semantics, Deriving Bisimulation Congruences: A 2-categorical Approach, Induction, Coinduction, and Adjoints, Further remarks on group-2-groupoids, Cofibrantly generated lax orthogonal factorisation systems, Relational presheaves, change of base and weak simulation, The Bicategory-Theoretic Solution of Recursive Domain Equations, Implicit Partiality of Signature Morphisms in Institution Theory, The 2-category theory of quasi-categories, Semantic factorization and descent, Geometric Satake, Springer correspondence, and small representations II, Normality and quotient in crossed modules over groupoids and 2-Groupoids, The parametric continuation monad, Three-dimensional orbifolds by 2-groups, Preservation and reflection of bisimilarity via invertible steps, Rewriting logic as a semantic framework for concurrency: a progress report, Heavily separable functors of the second kind and applications, A general framework for the semantics of type theory, Coherent differentiation, \(t\)-structures on stable derivators and Grothendieck hearts, Partialising institutions, What is an equivalence in a higher category?, Unnamed Item, Unnamed Item, Modulated bicategories, Algebraic Kan extensions along morphisms of internal algebra classifiers, Logical relations and parametricity -- a Reynolds programme for category theory and programming languages, A universal property of the convolution monoidal structure, On algebras over multicategories, 2-categories and 2-knots, Commutativity in double interchange semigroups, Categorical aspects of data type constructors, Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, Logical systems. I: Internal calculi., Generalizations of the Sweedler dual, Sigma limits in 2-categories and flat pseudofunctors, Ideals of closed categories, Extending localization functors, Monads for which structures are adjoint to units, Monoidal bicategories and Hopf algebroids, Hopf monoids in varieties, A micrological study of negation, Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, The algebra of oriented simplexes, A general coherence result, Strong conceptual completeness for first-order logic, Local adjunctions, Two-dimensional monad theory, Homotopy theory, and change of base for groupoids and multiple groupoids, A categorification of quantum \(\mathfrak{sl}(2)\), Shadows and traces in bicategories, Equational properties of iteration in algebraically complete categories, \(K\)-theory for 2-categories, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., Fibred 2-categories and bicategories, Monad transformers as monoid transformers, Semi-topological functors III: Lifting of monads and adjoint functors, Strongly fibered objects and spaces, Twisted-product categorical bundles, Coherence for compact closed categories, Derivators, pointed derivators and stable derivators, Spectra associated to symmetric monoidal bicategories, Adjunctions and defects in Landau-Ginzburg models, Loop spaces, and coherence for monoidal and braided monoidal bicategories, The 2-group of symmetries of a split chain complex, Closed categories, lax limits and homotopy limits, Levelwise modules over separable monads on stable derivators, The cut operation on matrix factorisations, Weighted tensor products of Joyal species, graphs, and charades, The combinatorics of n-categorical pasting, Conspectus of variable categories, Modular functors in homotopy quantum field theory and tortile structures., A 2-categorical pasting theorem, Pseudo-commutativity of KZ 2-monads, The 2-category of spectra in a 2-category, The geometry of tensor calculus. I, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, A characterization of \(G\)-categories \(G\)-equivalent to the \(G\)-category of graded modules over a generalized \(G\)-graded algebra, An algebraic model of synchronous systems, Group actions on 2-categories, Predicate transformers and higher-order programs, A general limit lifting theorem for 2-dimensional monad theory, Conditional rewriting logic as a unified model of concurrency, Group actions on categories and Elagin's theorem revisited, The derived category of complex periodic \(K\)-theory localized at an odd prime, Motivic homotopical Galois extensions, Tail recursion through universal invariants, Algebraic classification of equivariant homotopy 2-types. I, Monads in double categories, Stabilization of derivators revisited, Double groupoids and homotopy 2-types, Internal Kleisli categories, Locating reaction with 2-categories, Limits indexed by category-valued 2-functors, The weak theory of monads, Gauge transformations for categorical bundles, Monads and comonads on module categories, Steps and traces, Cohen-Montgomery duality for pseudo-actions of a group, Soft adjunction between 2-categories, Nerves of trigroupoids as Duskin-Glenn's 3-hypergroupoids, An axiomatics for bicategories of modules, Equational logic of circular data type specification, Noncommutative differential \(K\)-theory, On the equivariant \(2\)-type of a \(G\)-space, Some properties of Fib as a fibred \(2\)-category, A representation result for free cocompletions, A presentation of topoi as algebraic relative to categories or graphs, Kohärenz in Kategorien mit Gruppenstruktur. III, Categories of representations of coalgebroids, Codescent objects and coherence, The formal theory of monads. II, Distributive laws and factorization, Structures and diagrammatics of four dimensional topological lattice field theories, A functorial semantics for multi-algebras and partial algebras, with applications to syntax., A simple characterization of theories of varieties, Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories, Variation through enrichment, Combining a monad and a comonad, Tortile tensor categories, From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories, A full and faithful nerve for 2-categories, Beck's theorem for pseudo-monads
