On closed categories of functors
From MaRDI portal
Publication:5603226
DOI10.1007/BFb0060438zbMath0203.31402OpenAlexW1859542606MaRDI QIDQ5603226
No author found.
Publication date: 1970
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0060438
Related Items
Convolution as a Unifying Concept, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Coherence for bicategorical cartesian closed structure, Construction of biclosed categories, Tensor products of finitely presented functors, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Hypernormalisation in an abstract setting, Correspondences and stable homotopy theory, Differential 2-rigs, On the Pre- and Promonoidal Structure of Spacetime, Bi-incomplete Tambara functors as \(\mathcal{O}\)-commutative monoids, On the motivic class of the moduli stack of twisted \(G\)-covers, Triangulated categories of framed bispectra and framed motives, Note on monoidal localisation, Duoidally enriched Freyd categories, The syntactic side of autonomous categories enriched over generalised metric spaces, Simplicial approach to path homology of quivers, marked categories, groups and algebras, An algebraic glimpse at bunched implications and separation logic, On operads, bimodules and analytic functors, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Proof nets and semi-star-autonomous categories, Unnamed Item, Cubical model categories and quasi-categories, Unnamed Item, Cohomology of \(G\)-sheaves in positive characteristic, Galois algebras and monoidal functors between categories of representations of finite groups, Spectra and symmetric spectra in general model categories, Categories enriched on two sides, Unnamed Item, Unnamed Item, Unnamed Item, Derived categories for Grothendieck categories of enriched functors, Unnamed Item, \(\infty\)-operads via symmetric sequences, Cartesian differential categories as skew enriched categories, Freyd categories are enriched Lawvere theories, A universal property of the convolution monoidal structure, Braided groups, Classical control and quantum circuits in enriched category theory, Uniqueness logic, Eilenberg-Kelly reloaded, Skew-closed categories, Unnamed Item, On the derived category of a graded commutative noetherian ring, Enriched functor categories for functor calculus, An initial algebra approach to term rewriting systems with variable binders, Pseudo-distributive laws and axiomatics for variable binding, Monoidal bicategories and Hopf algebroids, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Homotopy theory of normed sets II. Model categories, Unnamed Item, Unnamed Item, Enriched Tannaka reconstruction, A Program Construction and Verification Tool for Separation Logic, Coends of higher arity, Tensor product of correspondence functors, A combinatorial-topological shape category for polygraphs, An embedding theorem for tangent categories, Homotopy theory of normed sets I. Basic constructions, Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras, Linear Exponential Comonads without Symmetry, Formal aspects of Gray's tensor products of 2-categories, Triples on functor categories, Voevodsky's mixed motives versus Kontsevich's noncommutative mixed motives, A Categorical Model for a Quantum Circuit Description Language (Extended Abstract), Tensor structure for Nori motives, Unnamed Item, Duality and small functors, Commutativity, Algebraic categories with few monoidal biclosed structures or none, Graded algebraic theories, Quantum walled Brauer algebra: commuting families, Baxterization, and representations, Closed categories, lax limits and homotopy limits, Grothendieck categories of enriched functors, Intersection products for tensor triangular Chow groups, Weighted tensor products of Joyal species, graphs, and charades, Hopf comonads on naturally Frobenius map-monoidales, Centers and homotopy centers in enriched monoidal categories, Restriction categories as enriched categories, Admissible replacements for simplicial monoidal model categories, Localisations of locally presentable categories. II, Notions of computation as monoids, Equivariant Kasparov theory of finite groups via Mackey functors, Bar construction and Tannakization, Fixed point adjunctions for equivariant module spectra, The Drinfeld center of the category of Mackey functors, Unnamed Item, On the structure of simplicial categories associated to quasi-categories, Varieties of a closed category, An Isbell duality theorem for type refinement systems, Modules over motivic cohomology, Dendroidal sets, A notion of limit for enriched categories, Weak complicial sets. I: Basic homotopy theory, Free-algebra models for the \(\pi \)-calculus, Unnamed Item, Regular patterns, substitudes, Feynman categories and operads, Presheaf Models of Quantum Computation: An Outline, On product-preserving Kan extensions, Distributive laws via admissibility, Operads Revisited, On embedding closed categories, Languages for monoidal categories, Monoidal Morita equivalence, Effect algebras as presheaves on finite Boolean algebras, Braided injections and double loop spaces, Note on duality of Kelleyspace products, Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names, Yoneda structures on 2-categories, Symmetric monoidal comonads and differential algebra, Categories, An extension of Pontryagin duality, Formal Hopf algebra theory. I: Hopf modules for pseudomonoids, Reconstructing rational stable motivic homotopy theory, On the construction of free algebras for equational systems, Enriched regular theories, Infinity‐operads and Day convolution in Goodwillie calculus, Algebraic theories and commutativity in a sheaf topos, Categorical semantics for arrows, An Australian Conspectus of Higher Categories, Formal Hopf algebra theory. II: Lax centres, Traces in monoidal categories, Proof-search in type-theoretic languages: An introduction, A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \), Dinatural numbers, Permutative categories, multicategories and algebraic \(K\)-theory, Reedy diagrams in V-model categories, Quasi-categories and Kan complexes, Embedding of Closed Categories Into Monoidal Closed Categories, Coproducts of algebras and derivations on categories, On the relation between concurrent separation logic and concurrent Kleene algebra, Abstract substitution in enriched categories
