scientific article; zbMATH DE number 3522194

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)