scientific article; zbMATH DE number 3522194

zbMATH Open0334.18016MaRDI QIDQ4100671FDOQ4100671

Ross H. Street, Max Kelly

Publication date: 1974

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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)

• 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
• Title not available (Why is that?)
• Some properties of Fib as a fibred \(2\)-category
• Modulated bicategories
• Algebraic Geometry over 𝐶^{∞}-rings
• What is a free double category like?
• The combinatorics of n-categorical pasting
• Title not available (Why is that?)
• Combining a monad and a comonad
• Monads for which structures are adjoint to units
• The 2-category of spectra in a 2-category
• Title not available (Why is that?)
• The derived category of complex periodic \(K\)-theory localized at an odd prime
• Logical systems. I: Internal calculi.
• Generalizations of the Sweedler dual
• The 2-category theory of quasi-categories
• Codescent objects and coherence
• The weak theory of monads
• Coherence for compact closed categories
• A 2-categorical pasting theorem
• Algebraic weak factorisation systems. I: Accessible AWFS.
• Structures and diagrammatics of four dimensional topological lattice field theories
• Monoidal algebraic model structures
• Involutive categories, colored $\ast$-operads and quantum field theory
• Ideals of closed categories
• The parametric continuation monad
• A 2-Categories Companion
• Ordinals in Frobenius monads
• The algebra of oriented simplexes
• Distributive laws and factorization
• The formal theory of monads. II
• Algebraic classification of equivariant homotopy 2-types. I
• Double groupoids and homotopy 2-types
• Van Kampen Colimits as Bicolimits in Span
• \(K\)-theory for 2-categories
• Yoneda structures from 2-toposes
• Monads and comonads on module categories
• Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras
• Tortile tensor categories
• Conditional rewriting logic as a unified model of concurrency
• Polycategories via pseudo-distributive laws
• Geometric Satake, Springer correspondence, and small representations II
• The bicategory-theoretic solution of recursive domain equations
• Title not available (Why is that?)
• 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

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)