Formal completion of a category along a subcategory

AI Efimov - arXiv preprint arXiv:1006.4721, 2010 - arxiv.org
… properties of formal completions of categories along subcategories. All categories are …
Further, by a ”compactly generated triangulated category” we mean a ”triangulated category

[图书][B] Basic concepts of enriched category theory

GM Kelly - 1982 - books.google.com
… to completions, perhaps including those relative completions … , a 2-category V-CAT; but
2-categories are not yet the formal … existence of a small dense subcategory of A neither implies …

[PDF][PDF] Displayed categories

B Ahrens, PLF Lumsdaine - Logical Methods in Computer …, 2019 - lmcs.episciences.org
… be expressed formally in terms of displayed categories, giving an … To that end, most
constructions and results of the present paper … Its total category is the full subcategory of c of …

Coherence completions of categories

H Hu, A Joyal - Theoretical Computer Science, 1999 - Elsevier
… We show that the full subcategory of Coh whose objects are generated from the singleton …
organized by a number of products alternating with a number of coproducts, we formally let …

Univalent categories and the Rezk completion

B Ahrens, K Kapulkin, M Shulman - Mathematical Structures in …, 2015 - cambridge.org
… of ‘category’ for which equality and equivalence of categories agree. Such categories satisfy
a … This is true both at an informal level, and when trying to be completely formal using a …

Formal completions and idempotent completions of triangulated categories of singularities

D Orlov - Advances in Mathematics, 2011 - Elsevier
completions of triangulated categories of singularities of two schemes are equivalent if the
formal completions of these schemes along … ’s theorem on dense subcategories and a relation …

Introduction to distributive categories

JRB Cockett - Mathematical Structures in Computer Science, 1993 - cambridge.org
… that distributive categories are the correct formal setting for … These categories are equivalent
to the coproduct completion … that a distributive category is always a full subcategory of the …

[PDF][PDF] Coherence for compact closed categories

GM Kelly, ML Laplaza - Journal of pure and applied algebra, 1980 - core.ac.uk
… warmth, much transcend what we can express in a formalsubcategory that is compact
closed. Those compact closed … We end by defining F.&as the quotient of the free category K.-…

Complete W*-categories

A Henriques, D Penneys - arXiv preprint arXiv:2411.01678, 2024 - arxiv.org
… whose objects are formal finite sums of objects of C, and … ∗-category is a full subcategory
of its Cauchy completion. By … W∗-category, we define the full subcategory of C generated by c …

[PDF][PDF] Categorical domain theory: Scott topology, powercategories, coherent categories

P Karazeris - Theory and Applications of Categories, 2001 - emis.dsd.sztaki.hu
… look at continuous categories with a small dense subcategory (in … Proceeding in formal
analogy, we generalize this … be the ind-completion of the dual of the category obtained by freely …