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 (only showing first 100 items - show all)

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

This page was built for publication: