scientific article

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Actions of a monoidal category, tensorial strength (18D25)

Related Items

A categorical theory of patches, Density in categorical topology via quantaloid-enriched categories, The saturated prefilter monad, Invariants of a free linear category and representation type, Computation by interaction for space-bounded functional programming, A duality between $\Omega$-categories and algebraic $\Omega$-categories, An introduction to quantaloid-enriched categories, Sheaves on involutive quantales: Grothendieck quantales., Fuzzy terms, Quantale-valued preorders: globalization and cocompleteness., Lattice-valued preordered sets as lattice-valued topological systems, Basic concepts of quantale-enriched topologies, Weighted limits in an $(\infty, 1)$-category, Cartesian differential categories as skew enriched categories, Algebraic Kan extensions along morphisms of internal algebra classifiers, Freyd categories are enriched Lawvere theories, On a 'good' dense class of topological spaces, Enriched locally convex structures, differential calculus and Riesz representation, Many valued lattices and their representations, Relation lifting, a survey, The orthogonal subcategory problem and the small object argument, $\mathcal Q$-$*$-categories, On completeness of locally-internal categories, On the tensor product of modules over skew monoidal categories, Lax orthogonal factorisation systems, Logical systems. I: Internal calculi., The $K$-theory of assemblers, 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, Categories of partial maps, An enriched category approach to many valued topology, Combining algebraic effects with continuations, A categorification of quantum $\mathfrak{sl}(2)$, Fuzzy sets and sheaves. I: Basic concepts, The fundamental pro-groupoid of an affine 2-scheme, Monoidal computer. I: Basic computability by string diagrams, Modules in monoidal model categories, Path space connections and categorical geometry, Algebraic weak factorisation systems. I: Accessible AWFS., Recognizing mapping spaces, Orlov spectra as a filtered cohomology theory, The Yoneda isomorphism commutes with homology, Injective spaces via adjunction, The Hecke bicategory, Generic weakest precondition semantics from monads enriched with order, Lifting homotopy $T$-algebra maps to strict maps, Representable $(\mathbb{T},\mathbf{V})$-categories, Tensor products of finitely cocomplete and abelian categories, Duality and small functors, Factorizable enriched categories and applications, Homotopy homomorphisms and the classifying space functor, The order-theoretic duality and relations between partial metrics and local equalities, Bifibrations and weak factorisation systems, Preordered sets valued in a GL-monoid, Algebras of higher operads as enriched categories, Generalising Conduché's theorem, Unicity of enrichment over $\mathcal Cat$ or $\mathcal Gpd$, Notions of Lawvere theory, Localization theorems in topological Hochschild homology and topological cyclic homology, Pseudo-commutativity of KZ 2-monads, Monoidal categories with natural numbers object, Lex colimits, Kleisli enriched, Calculus of functors and model categories. II, A model structure for coloured operads in symmetric spectra, Quantaloidal nuclei, the syntactic congruence and tree automata, The change-base issue for $\Omega$-categories, Elements of generalized ultrametric domain theory, Weak complicial sets. I: Basic homotopy theory, Descent in $*$-autonomous categories, On monoids in the category of sets and relations, Hermitian $K$-theory, derived equivalences and Karoubi's fundamental theorem, Tail recursion through universal invariants, Frobenius and the derived centers of algebraic theories, Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Barr's embedding theorem for enriched categories, Homotopy theory of nonsymmetric operads, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, Implication structures, fuzzy subsets, and enriched categories, Good fuzzy preorders on fuzzy power structures, On the categorical meaning of Hausdorff and Gromov distances. I., Torsors, herds and flocks, Homotopical algebraic geometry. I: Topos theory, Lawvere completion and separation via closure, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Characterization of a category for monoidal topology, Lawvere completeness in topology, Notions of computation and monads, Representations are adjoint to endomorphisms, Conduché property and tree-based categories, Fuzzy complete lattices, 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, Supergeometry in locally covariant quantum field theory, Convolution as a Unifying Concept, Taming Multirelations, Unnamed Item, Feynman categories and representation theory, Augmented virtual double categories, Relating two categorical models of term rewriting, Compositional term rewriting: An algebraic proof of Toyama's theorem, A unified framework for notions of algebraic theory, The convex powerdomain in a category of posets realized by cpos, A categorical view of varieties of ordered algebras, Hom weak ω-categories of a weak ω-category, Unnamed Item, Unnamed Item, Unnamed Item, Coherence for bicategorical cartesian closed structure, From maps between coloured operads to Swiss-Cheese algebras, A model structure on prederivators for $(\infty,1)$-categories, An interpretation of dependent type theory in a model category of locally cartesian closed categories, Metric monads, Temporal Structures, A formalism for the specification of essentially-algebraic structures in 2-categories, Girard quantaloids, Quantale-Enriched Multicategories Via Actions, Elementary fibrations of enriched groupoids, A category-theoretic account of program modules, An explicit formula for the free exponential modality of linear logic, Cauchy completeness for DG-categories, Temporal structures, Non-semisimple extended topological quantum field theories, Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras, Unnamed Item, On sifted colimits in the presence of pullbacks, Morita cohomology, Morita cohomology and homotopy locally constant sheaves, On operads, bimodules and analytic functors, Cohomology of Modules Over -categories and Co--categories, Unnamed Item, Enriched accessible categories, Order-enrichment for categories of partial maps, Homotopy coherent category theory, Homotopy theory of dg sheaves, Unnamed Item, Tensor Products and Preservation of Weighted Limits, forS-Posets, Enriched Locally Generated Categories, Polynomial functors and polynomial monads, Up-To Techniques for Behavioural Metrics via Fibrations, An Isbell duality theorem for type refinement systems, Fuzzy logic and enriched categories, On lifting of biadjoints and lax algebras, A categorical analogue of the monoid semiring construction, Semantics for Algebraic Operations, The monoidal structure of Turing machines, A typed, algebraic, computational lambda-calculus, Semimodule Enrichment, Tensors of Comodels and Models for Operational Semantics, Approximate categorical structures, Regular patterns, substitudes, Feynman categories and operads, A construction of certain weak colimits and an exactness property of the 2-category of categories, Pseudo-Kan Extensions and Descent Theory, Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces, Presheaf Models of Quantum Computation: An Outline, Models for the computational λ-calculus, Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness, Proof nets and semi-star-autonomous categories, Analytic sheaves in Banach spaces☆, Unnamed Item, Rewriting on cyclic structures: Equivalence between the operational and the categorical description, Unnamed Item, Unnamed Item, Unnamed Item, The category of Waldhausen categories is a closed multicategory, Lax orthogonal factorisations in ordered structures, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Relative Calabi–Yau structures, Representability theorems, up to homotopy, Unnamed Item, Modules in the Category $$\mathtt {\mathbf{Sup}}$$, Filtered cocategories, Unnamed Item, On the formal theory of pseudomonads and pseudodistributive laws, Unnamed Item, Extending set functors to generalised metric spaces, Axiomatics for Data Refinement in Call by Value Programming Languages, The Operadic Nerve, Relative Nerve, and the Grothendieck Construction, The nominal/FM Yoneda Lemma, Inversion, Iteration, and the Art of Dual Wielding, An enriched view on the extended finitary monad--Lawvere theory correspondence, Categorie variabili, Unnamed Item, Unnamed Item, Unnamed Item, On the Balmer spectrum for compact Lie groups, Unnamed Item, On dualizability of braided tensor categories, Implicit Partiality of Signature Morphisms in Institution Theory, An equivariant smash spectral sequence and an unstable box product, Homotopy limits of triples, Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, Algebras with compatible quantale-enriched structures, Homotopical Morita theory for corings, Universalities, Homotopy and homology of fibred spaces, Enrichment over iterated monoidal categories, Classical control and quantum circuits in enriched category theory, $K$-theory and derived equivalences, Paracategories. I: Internal paracategories and saturated partial algebras, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, General facts on the Scott adjunction, Galois theory and a general notion of central extension, $*$-autonomous categories of bimodules, Accessibility and the solution set condition, Quantaloids, enriched categories and automata theory, An enriched category theory of language: from syntax to semantics, Sigma limits in 2-categories and flat pseudofunctors, Bilimits are bifinal objects, Monoidal bicategories and Hopf algebroids, Kan extensions are partial colimits, Data refinement, call by value and higher order programs, Approximate injectivity, A synthetic version of Lie's second theorem, Limits in free coproduct completions, Higher-dimensional algebra. II: 2-Hilbert spaces, $THH(R) \cong R \otimes S^ 1$ for $E_ \infty$ ring spectra, On measurings of algebras over operads and homology theories, A May-type spectral sequence for higher topological Hochschild homology, Enrichment and representability for triangulated categories, A survey on the categorical term construction with applications, Sober metric approach spaces, On an enhancement of the category of shifted $L_\infty$-algebras, An embedding theorem for tangent categories, On the structure of zero morphisms in a quasi-pointed category, Quantalic topological theories, Fibrewise injectivity and Kock-Zöberlein monads, DG structures on odd categorified quantum $sl(2)$, Fuzzy topological spaces with conical neighborhood systems, Recognizing quasi-categorical limits and colimits in homotopy coherent nerves, Graded algebraic theories, On semiflexible, flexible and pie algebras, Quantale algebras as lattice-valued quantales, Every 1D persistence module is a restriction of some indecomposable 2D persistence module, The enriched Grothendieck construction, Brown representability for space-valued functors, Cohomology and deformation theory of monoidal 2-categories. I., Cartesian closedness of a category of non-frame valued complete fuzzy orders, Excision in equivariant fibred $G$-theory, 2-Segal objects and the Waldhausen construction, A categorical approach to the maximum theorem, The Kontsevich integral for bottom tangles in handlebodies, Logic programming: laxness and saturation, Elements of a theory of algebraic theories, Topology of Hom complexes and test graphs for bounding chromatic number, Monads and theories, Enriched categorical semantics for distributed calculi, Skew structures in 2-category theory and homotopy theory, Weighted limits in simplicial homotopy theory, A colimit decomposition for homotopy algebras in Cat, On Morita equivalence of partially ordered monoids, Continuous triangular norm based fuzzy topology, Relating categorical semantics for intuitionistic linear logic, Discrete Morse theory and localization, Monadic convergence structures revisited, Mapping spaces and $R$-completion, Scott approach distance on metric spaces, Met-like categories amongst concrete topological categories, Sobriety of quantale-valued cotopological spaces, Fuzzy Galois connections on fuzzy sets, Derived categories of $N$ DG categories, Fibrational bisimulations and quantitative reasoning, Enriched model categories and presheaf categories, A comparative study of ideals in fuzzy orders, A categorical characterization of the least $Q$-quantale completion of $Q$-ordered semigroups, Comparison of Waldhausen constructions, Enriched regular theories, An axiomatics for bicategories of modules, Change of base for locally internal categories, Representable multicategories, The exact completion for regular categories enriched in posets, 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, The Michael completion of a topos spread, Quasi-categories and Kan complexes, Codescent objects and coherence, The formal theory of monads. II, 2-limits and 2-terminal objects are too different, Categories with sums and right distributive tensor product, Model structures on the category of ex-spaces, Premonoidal categories as categories with algebraic structure, Fixpoint operators for domain equations, 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, What do homotopy algebras form?, On the relation between continuous and combinatorial, Scott convergence and fuzzy Scott topology on $L$-posets, A characterization of pie limits, Morita equivalence for many-sorted enriched theories, On the nonexistence of elements of Kervaire invariant one, Skew-closed categories, A characterisation of algebraic exactness, Lawvere theories enriched over a general base, Modelling Local Variables: Possible Worlds and Object Spaces, Topological categories, quantaloids and Isbell adjunctions, On homotopy varieties, Unnamed Item, Calculus of functors and model categories, Yoneda structures from 2-toposes, Categorifying Computations into Components via Arrows as Profunctors, Algebraic representation of dynamics and behavior for continuous-time linear systems, Enriched logical connections, Unnamed Item, Adjoint-triangle theorems for conservative functors, Yoneda completeness and flat completeness of ordered fuzzy sets, Fixed points of adjoint functors enriched in a quantaloid, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Unnamed Item, Imprimitivity systems in enriched categories, Equivariant noncommutative motives, Spin polynomial functors and representations of Schur superalgebras, Real sets, Wreaths, mixed wreaths and twisted coactions, Magnitude homology of enriched categories and metric spaces, Injective hulls of quantale-enriched multicategories, Flat vs. filtered colimits in the enriched context, Transfer Functors and Projective Spaces, Unnamed Item, On continuity of accessible functors, Grothendieck enriched categories, Virtual concepts in the theory of accessible categories, Stable components of directed spaces, Multiplicative equivariant $K$-theory and the Barratt-Priddy-Quillen theorem, Varieties of ordered algebras as categories, Strong Morita equivalence for ordered semigroups with local units, Homotopy colimits of algebras over Cat-operads and iterated loop spaces, Admissible replacements for simplicial monoidal model categories, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Unnamed Item, Two-dimensional monadicity, Elementary observations on 2-categorical limits, L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos, Prime Spectra of Abelian 2-Categories and Categorifications of Richardson Varieties, Lectures on DG-Categories, Rough Objects in Monoidal Closed Categories, Fuzzy Galois connections categorically, Unnamed Item, Classification of braids which give rise to interchange, Dendroidal sets, Complete and directed complete $\Omega $-categories, Tree-functors, determinacy and bisimulations, Unnamed Item, Representation and character theory in 2-categories, Unnamed Item, 2-nerves for bicategories, Unnamed Item, Topological categories with many symmetric monoidal closed structures, Unnamed Item, Combining effects: sum and tensor, Unnamed Item, Unnamed Item, Unnamed Item, The Classifying Topos of a Continuous Groupoid. I, Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names, The Dual Rings of anR-Coring Revisited, Definable additive categories: purity and model theory, Unnamed Item, Algebraic theories and commutativity in a sheaf topos, Gabriel–Ulmer duality and Lawvere theories enriched over a general base, Categorical semantics for arrows, Metagories, Enriched topologies and topological representation of semi-unital and semi-integral quantales, Two-dimensional models of type theory, The balanced tensor product of module categories, Enriching an Effect Calculus with Linear Types, A 2-Categories Companion, Computing over K-modules, Traces in monoidal categories, Induction, Coinduction, and Adjoints, The Uniformity Principle on Traced Monoidal Categories, Quasi-coproducts and accessible categories with wide pullbacks, Process synchronisation as fusion, On the differential graded Eilenberg-Moore construction, Metrics on triangulated categories, The magnitude of a graph, Affine-compact functors, Direct limits and fixed point sets, Cofibrantly generated lax orthogonal factorisation systems, Groupoids and strong shape, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, On the essentially-algebraic theory generated by a sketch, Unnamed Item, Rigidification of algebras over essentially algebraic~theories, Two Cartesian closed subcategories of fuzzy domains, Context rewriting, An algebraic formulation for data refinement, Accessible categories with a class of limits, Interleavings and matchings as representations, Many valued topologies on L-sets, A categorical isomorphism between injective balanced $L$-$S_0$-convex spaces and fuzzy frames, Enriched purity and presentability in Banach spaces, Monoids with quantale-valued preorders: globalizations and localizations, When programs have to watch paint dry, On presheaf submonads of quantale-enriched categories, PRIME TENSOR IDEALS IN ABELIAN CATEGORIES OF REPRESENTATIONS OF QUIVERS OF TYPE <i>A </i>, Additive Grothendieck pretopologies and presentations of tensor categories, Flexibly graded monads and graded algebras, Weighted colimits of 2-representations and star algebras, On continuous time agents, A homotopy coherent nerve for $(\infty, n)$-categories, Causal Unfoldings and Disjunctive Causes, A point-free perspective on lax extensions and predicate liftings, Discrete equational theories, Categorification of Negative Information using Enrichment, Distributive laws for relative monads, Unnamed Item, Yoneda lemma for simplicial spaces, The syntactic side of autonomous categories enriched over generalised metric spaces, Sweedler theory of monads, Partialising institutions, What is an equivalence in a higher category?, Up-to techniques for behavioural metrics via fibrations, Magnitude and Topological Entropy of Digraphs, Flatness, weakly lex colimits, and free exact completions, Unnamed Item, Editorial, Unnamed Item, Unnamed Item, 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, Global theory of graded manifolds