A reflection theorem for closed categories

From MaRDI portal
Publication:2552195

DOI10.1016/0022-4049(72)90021-7zbMath0236.18004OpenAlexW1973559574MaRDI QIDQ2552195

Yanyan Li

Publication date: 1972

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(72)90021-7



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (58)

Comparing Cartesian closed categories of (core) compactly generated spacesParacategories. II: Adjunctions, fibrations and examples from probabilistic automata theoryBrown-Booth-Tillotson theory for classes of exponentiable spacesOn the tensor product of modules over skew monoidal categoriesA Representation Theorem for Unique Decomposition CategoriesCosmoi of Internal CategoriesClosed structures on reflective subcategories of the category of topological spacesUnnamed ItemGeneral function spaces, products and continuous latticesHEREDITARY TOPOLOGICAL CATEGORIES AND TOPOLOGICAL UNIVERSESLimits of small functorsAn embedding theorem for tangent categoriesAdditive Grothendieck pretopologies and presentations of tensor categoriesWhich abelian tensor categories are geometric?Algebraic categories with few monoidal biclosed structures or noneNote on monoidal localisationCompactly generated spaces and quasi-spaces in topologyUnnamed ItemLocalisations of locally presentable categories. IIConstructing colimits by gluing vector bundlesOn cyclic star-autonomous categoriesConnected limits, familial representability and Artin glueingEnhanced 2-categories and limits for lax morphismsA Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure OperatorsVarieties of a closed categoryLocally bounded enriched categoriesTWO FAMILIES OF CARTESIAN CLOSED TOPOLOGICAL CATEGORIESTensor triangular geometry of filtered modulesSymmetric cubical setsEnriched simplicial presheaves and the motivic homotopy categoryContravariance through enrichmentPresheaf Models of Quantum Computation: An OutlineA cellular nerve for higher categoriesBitopological and topological ordered \(k\)-spacesEXPONENTIAL LAWS FOR ORDERED “TOPOLOGICAL” VECTOR SPACESDiscrete-time machines in closed monoidal categories. IOpen maps, colimits, and a convenient category of fibre spacesTopological categories with many symmetric monoidal closed structuresInitial completionsGrothendieck quasitoposesUnnamed ItemCategoriesUnnamed ItemAn extension of Pontryagin dualityEnriched regular theoriesAlgebraic theories and commutativity in a sheaf toposOn generalized equilogical spacesFree finitary algebras on compactly generated spacesCategories of continuous functors. ISome remarks on total categoriesMonoidal abelian envelopesThom spectra, higher THH and tensors in \(\infty\)-categoriesThe quasicategory of quasispaces is illegitimateThe folk model category structure on strict $\omega$-categories is monoidalModel structures on the category of ex-spacesCartesian Closed Topological HullsBanach spaces and totally convex spaces IIAn operadic approach to internal structures



Cites Work


This page was built for publication: A reflection theorem for closed categories