scientific article; zbMATH DE number 3522194
From MaRDI portal
Publication:4100671
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 (only showing first 100 items - show all)
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
This page was built for publication:
