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 …
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 …
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 …
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 …
organized by a number of products alternating with a number of coproducts, we formally let …
Univalent categories and the Rezk completion
… 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 …
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 …
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 …
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 formal … subcategory that is compact
closed. Those compact closed … We end by defining F.&as the quotient of the free category K.-…
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 …
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 …
analogy, we generalize this … be the ind-completion of the dual of the category obtained by freely …