Publication:3934579
From MaRDI portal
zbMath0478.18005MaRDI QIDQ3934579
Publication date: 1982
density; enriched category; 2-category; Kan extensions; symmetric monoidal closed categories; filtered colimits; adjoint- functor theorems; discrete opfibrations; essentially-algebraic theories; indexed limits and colimits; initial functors; V-functor categories
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
18D20: Enriched categories (over closed or monoidal categories)
18-02: Research exposition (monographs, survey articles) pertaining to category theory
18D25: Actions of a monoidal category, tensorial strength
Related Items
Homotopical algebraic geometry. I: Topos theory, Elements of generalized ultrametric domain theory, Tail recursion through universal invariants, Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads, Notions of computation and monads, Bar and cobar constructions. I, Free quantaloids, The categories of \(A_{\infty}\) and \(E_{\infty}\)-monoids and ring spaces as closed simplicial and topological model categories, Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid, An operadic approach to internal structures, Pseudo-distributive laws and axiomatics for variable binding, Sums over graphs and integration over discrete groupoids, Generic models for computational effects, Discrete Lawvere theories and computational effects, An enriched category approach to many valued topology, Combining algebraic effects with continuations, Fuzzy sets and sheaves. I: Basic concepts, Modules in monoidal model categories, Monoidal categories with natural numbers object, The change-base issue for \(\Omega\)-categories, Weak complicial sets. I: Basic homotopy theory, Descent in \(*\)-autonomous categories, On a 'good' dense class of topological spaces, Enriched locally convex structures, differential calculus and Riesz representation, On completeness of locally-internal categories, Categories of partial maps, Quantaloidal nuclei, the syntactic congruence and tree automata, Enriched categorical semantics for distributed calculi, Universalities, Galois theory and a general notion of central extension, \(*\)-autonomous categories of bimodules, Accessibility and the solution set condition, Monoidal bicategories and Hopf algebroids, Higher-dimensional algebra. II: 2-Hilbert spaces, \(THH(R) \cong R \otimes S^ 1\) for \(E_ \infty\) ring spectra, Cohomology and deformation theory of monoidal 2-categories. I., Representable multicategories, Absolute homology theory of stereotype algebras, A coherent approach to pseudomonads, Stereotype group algebras, A representation result for free cocompletions, On the canonical algebraic structure of a category, Categories of representations of coalgebroids, Model structures on the category of ex-spaces, Premonoidal categories as categories with algebraic structure, Fixpoint operators for domain equations, Relating categorical semantics for intuitionistic linear logic, An axiomatics for bicategories of modules, Change of base for locally internal categories, The Michael completion of a topos spread, Quasi-categories and Kan complexes, Codescent objects and coherence, The formal theory of monads. II, Categories with sums and right distributive tensor product, Strong cofibrations and fibrations in enriched categories, Fibration models and localisation of categories, Metric, topology and multicategory -- a common approach, Abstract substitution in enriched categories, Homotopy limits of triples, Homotopy and homology of fibred spaces, Enrichment over iterated monoidal categories, \(K\)-theory and derived equivalences, Paracategories. I: Internal paracategories and saturated partial algebras, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Quantaloids, enriched categories and automata theory, Data refinement, call by value and higher order programs, Limits in free coproduct completions, Lawvere theories enriched over a general base, On homotopy varieties, Classification of braids which give rise to interchange, Dendroidal sets, Complete and directed complete \(\Omega \)-categories, Representation and character theory in 2-categories, 2-nerves for bicategories, Combining effects: sum and tensor, Quasi-coproducts and accessible categories with wide pullbacks, Process synchronisation as fusion, Direct limits and fixed point sets, Groupoids and strong shape, Calculus of functors and model categories, Yoneda structures from 2-toposes, Unnamed Item, Unnamed Item, Unnamed Item, Transfer Functors and Projective Spaces, Topological categories with many symmetric monoidal closed structures, Unnamed Item, Algebraic representation of dynamics and behavior for continuous-time linear systems, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The Classifying Topos of a Continuous Groupoid. I, Unnamed Item, Adjoint-triangle theorems for conservative functors, Imprimitivity systems in enriched categories, Elementary observations on 2-categorical limits, Unnamed Item, Enriched accessible categories, Unnamed Item, Unnamed Item, Categorie variabili, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Order-enrichment for categories of partial maps, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, Analytic sheaves in Banach spaces☆, Homotopy coherent category theory, When do completion processes give rise to extensive categories?, Picard groups, Grothendieck rings, and Burnside rings of categories, Using categorical methods in computer science, Cohomology of \(G\)-sheaves in positive characteristic, Categories enriched on two sides, A remark on conservative cocompletions of categories, Tannaka duality for Maschkean categories, Relaxed multicategory structure of a global category of rings and modules, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On the essentially-algebraic theory generated by a sketch, A characterization of pie limits, Temporal Structures, A formalism for the specification of essentially-algebraic structures in 2-categories, Girard quantaloids, Unnamed Item, Unnamed Item, Unnamed Item, An equivariant smash spectral sequence and an unstable box product
