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 (only showing first 100 items - show all)
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
This page was built for publication: On closed categories of functors
