scientific article; zbMATH DE number 3522194
From MaRDI portal
Publication:4100671
zbMATH Open0334.18016MaRDI QIDQ4100671FDOQ4100671
Publication date: 1974
Title of this publication is not available (Why is that?)
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)
Cited In (only showing first 100 items - show all)
- Group actions on categories and Elagin's theorem revisited
- Title not available (Why is that?)
- Motivic homotopical Galois extensions
- On the equivariant \(2\)-type of a \(G\)-space
- Local adjunctions
- Fundamentals of compositional rewriting theory
- Title not available (Why is that?)
- A presentation of topoi as algebraic relative to categories or graphs
- Soft adjunction between 2-categories
- Conspectus of variable categories
- Title not available (Why is that?)
- Beck's theorem for pseudo-monads
- Well-behaved translations between structural operational semantics
- Structural operational semantics and modal logic, revisited
- A generalization of Gabriel's Galois covering functors. II: 2-categorical Cohen-Montgomery duality
- Strongly fibered objects and spaces
- Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories
- Title not available (Why is that?)
- Modular functors in homotopy quantum field theory and tortile structures.
- Semi-topological functors III: Lifting of monads and adjoint functors
- Using categorical methods in computer science
- Tannaka duality for Maschkean categories
- Algebraic weak factorisation systems. II: Categories of weak maps.
- Locating reaction with 2-categories
- A general limit lifting theorem for 2-dimensional monad theory
- Temporal structures
- Categories of representations of coalgebroids
- Nerves of trigroupoids as Duskin-Glenn's 3-hypergroupoids
- Two-dimensional monadicity
- Hopf monoids in varieties
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- Twisted-product categorical bundles
- Title not available (Why is that?)
- Loop spaces, and coherence for monoidal and braided monoidal bicategories
- An abstract formulation for rewrite systems
- A characterization of \(G\)-categories \(G\)-equivalent to the \(G\)-category of graded modules over a generalized \(G\)-graded algebra
- Pre-adjunctions in order enriched categories
- Weighted tensor products of Joyal species, graphs, and charades
- Skew-closed categories
- An algebraic model of synchronous systems
- Categories enriched on two sides
- Two-dimensional linear algebra
- Conservative descent for semi-orthogonal decompositions
- Three-dimensional orbifolds by 2-groups
- The theory of half derivators
- Free hypermodules: a categorical approach
- Pseudo-commutativity of KZ 2-monads
- Title not available (Why is that?)
- Noncommutative differential \(K\)-theory
- Kohärenz in Kategorien mit Gruppenstruktur. III
- Categorical aspects of data type constructors
- Representability and autoequivalence groups
- An axiomatics for bicategories of modules
- Title not available (Why is that?)
- A simple characterization of theories of varieties
- A full and faithful nerve for 2-categories
- Pivotal tricategories and a categorification of inner-product modules
- Implicit Partiality of Signature Morphisms in Institution Theory
- Predicate transformers and higher-order programs
- Tail recursion through universal invariants
- Fibred 2-categories and bicategories
- Monad transformers as monoid transformers
- Monoidal Grothendieck construction
- Homotopy theory, and change of base for groupoids and multiple groupoids
- Monads in double categories
- Internal Kleisli categories
- Limits indexed by category-valued 2-functors
- A micrological study of negation
- Shadows and traces in bicategories
- The Classifying Space of a Topological 2-Group
- Monoidal bicategories and Hopf algebroids
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- An Australian Conspectus of Higher Categories
- Rewriting logic as a semantic framework for concurrency: a progress report
- A categorification of quantum \(\mathfrak{sl}(2)\)
- Strong conceptual completeness for first-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages
- On algebras over multicategories
- Closed categories, lax limits and homotopy limits
- Adjunctions and defects in Landau-Ginzburg models
- Spectra associated to symmetric monoidal bicategories
- The 2-group of symmetries of a split chain complex
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equational properties of iteration in algebraically complete categories
- The geometry of tensor calculus. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A general coherence result
- Variation through enrichment
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- A universal property of the convolution monoidal structure
- Two-dimensional monad theory
- Equational logic of circular data type specification
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
- Derivators, pointed derivators and stable derivators
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4100671)