scientific article

From MaRDI portal
Publication:3491793

zbMath0709.18501MaRDI QIDQ3491793

G. M. Kelly

Publication date: 1981


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



Related Items (max. 100)

Modulated bicategoriesThe coshape category as an imprimitivity algebraA universal property of the convolution monoidal structureWeak fibrationsCategory-theoretic analysis of the notion of complementarity for quantum systemsCategories in which all strong generators are denseTensor products and homotopies for \(\omega\)-groupoids and crossed complexesEffect Algebras, Presheaves, Non-locality and ContextualityDescent and dualityCategorical aspects of data type constructorsMaps. I: Relative to a factorisation systemMonads for which structures are adjoint to unitsThe closure of a class of colimitsA note on the Albert-Kelly paper ``The closure of a class of colimitsVogt's theorem on categories of homotopy coherent diagramsStrong conceptual completeness for first-order logicTwo-dimensional monad theoryHomotopy coherent category theory and \(A_\infty\)-structures in monoidal categoriesQuantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizationsLax naturality through enrichmentCategorical aspects of equivariant homotopyGeneralized metric spaces: Completion, topology, and powerdomains via the Yoneda embeddingCategorical shape theory as a formal language for pattern recognition?Liminf convergence in \(\Omega\)-categoriesA representable approach to finite nondeterminismThe glueing construction and lax limitsCenters and homotopy centers in enriched monoidal categoriesSmall Cauchy completionsPluri-adjoints and preservation of finite limitsTotal categories with generatorsModelling environments in call-by-value programming languages.Some groups related to the symmetry of a directed graphA characterization of \(G\)-categories \(G\)-equivalent to the \(G\)-category of graded modules over a generalized \(G\)-graded algebraAdjunctions whose counits are coequalizers, and presentations of finitary enriched monadsA non-commutative and non-idempotent theory of quantale setsJoin-completions of \(L\)-ordered setsEquivariant Eilenberg-MacLane spaces and the equivariant Seifert-van Kampen and suspension theoremsOn the Logic of Generalised Metric SpacesQuantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posetsOpen maps, colimits, and a convenient category of fibre spacesModels for the Maclaurin tower of a simplicial functor via a derived Yoneda embeddingA sheaf-theoretic topos model of the physical ‘Continuum’ and its cohomological observable dynamicsLanguages for monoidal categoriesMonoidal Morita equivalenceThe classifying space of a crossed complexHigher structures, quantum groups and genus zero modular operadFlexible limits for 2-categoriesFibrant diagrams, rectifications and a construction of LodayOn locales of localizationsFamilies parametrized by coalgebrasFormal Hopf algebra theory. II: Lax centresThe calculus of ends over a base toposWeighted colimits and formal balls in generalized metric spacesChu spaces from the representational viewpointDinatural numbersMeasuring comodules -- their applicationsGabriel-Ulmer duality for categories enriched in bicategoriesA classification of accessible categoriesCoherence for bicategories and indexed categoriesAbstract Syntax: Substitution and BindersIs there a convenient category of spectra?An extension of the Aronszajn-Gagliardo theoremHomotopical approach to strong shape or completion theory




This page was built for publication: