On closed categories of functors
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids
- On the construction of free algebras for equational systems
- Formal Hopf algebra theory. II: Lax centres
- Permutative categories, multicategories and algebraic \(K\)-theory
- A universal property of the convolution monoidal structure
- Ideals of closed categories
- Algebraic categories with few monoidal biclosed structures or none
- Closed categories, lax limits and homotopy limits
- Yoneda structures on 2-categories
- Categories
- Dinatural numbers
- Monoidal bicategories and Hopf algebroids
- Triples on functor categories
- Proof-search in type-theoretic languages: An introduction
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- An embedding theorem for tangent categories
- Effect algebras as presheaves on finite Boolean algebras
- Quasi-categories and Kan complexes
- Abstract substitution in enriched categories
- Enriched Tannaka reconstruction
- Distributive laws via admissibility
- A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \)
- \(\infty\)-operads via symmetric sequences
- Classical control and quantum circuits in enriched category theory
- Eilenberg-Kelly reloaded
- Enriched functor categories for functor calculus
- Tensor product of correspondence functors
- A combinatorial-topological shape category for polygraphs
- Tensor structure for Nori motives
- Graded algebraic theories
- Enriched regular theories
- Algebraic theories and commutativity in a sheaf topos
- Reedy diagrams in V-model categories
- On the relation between concurrent separation logic and concurrent Kleene algebra
- Braided groups
- Uniqueness logic
- Skew-closed categories
- On the derived category of a graded commutative noetherian ring
- Restriction categories as enriched categories
- Fixed point adjunctions for equivariant module spectra
- Dendroidal sets
- Free-algebra models for the \(\pi \)-calculus
- Coends of higher arity
- Admissible replacements for simplicial monoidal model categories
- Braided injections and double loop spaces
- Freyd categories are enriched Lawvere theories
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- Compact closed bicategories
- Traces in monoidal categories
- A program construction and verification tool for separation logic
- Quantum walled Brauer algebra: commuting families, Baxterization, and representations
- On the structure of simplicial categories associated to quasi-categories
- Categories in categories, and size matters
- Infinity‐operads and Day convolution in Goodwillie calculus
- A categorical model for a quantum circuit description language (extended abstract)
- An Australian conspectus of higher categories
- Categorical semantics for arrows
- Coproducts of algebras and derivations on categories
- scientific article; zbMATH DE number 4038062 (Why is no real title available?)
- scientific article; zbMATH DE number 3749236 (Why is no real title available?)
- Formal aspects of Gray's tensor products of 2-categories
- Voevodsky's mixed motives versus Kontsevich's noncommutative mixed motives
- Varieties of a closed category
- A notion of limit for enriched categories
- scientific article; zbMATH DE number 3515674 (Why is no real title available?)
- Embedding of Closed Categories Into Monoidal Closed Categories
- scientific article; zbMATH DE number 3547507 (Why is no real title available?)
- On product-preserving Kan extensions
- On embedding closed categories
- scientific article; zbMATH DE number 3592214 (Why is no real title available?)
- Note on duality of Kelleyspace products
- Symmetric monoidal comonads and differential algebra
- An extension of Pontryagin duality
- scientific article; zbMATH DE number 3623828 (Why is no real title available?)
- Centers and homotopy centers in enriched monoidal categories
- Homotopy theory of normed sets. II: Model categories
- Regular patterns, substitudes, Feynman categories and operads
- Homotopy theory of normed sets. I: Basic constructions
- Notions of computation as monoids
- An Isbell duality theorem for type refinement systems
- Equivariant Kasparov theory of finite groups via Mackey functors
- Bar construction and Tannakization
- Presheaf models of quantum computation: an outline
- Operads revisited
- Reconstructing rational stable motivic homotopy theory
- The symmetric monoidal closed category of cpo M-sets
- scientific article; zbMATH DE number 7352262 (Why is no real title available?)
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Linear exponential comonads without symmetry
- Coherence for bicategorical cartesian closed structure
- Quantitative foundations for resource theories
- scientific article; zbMATH DE number 7559282 (Why is no real title available?)
- Tensor products of finitely presented functors
- Classical control, quantum circuits and linear logic in enriched category theory
- Cubical model categories and quasi-categories
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Derived categories for Grothendieck categories of enriched functors
- Convolution as a Unifying Concept
- On operads, bimodules and analytic functors
- Construction of biclosed categories
This page was built for publication: On closed categories of functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5603226)
