2005
DOI: 10.1016/j.jpaa.2004.08.019
|View full text |Cite
|
Sign up to set email alerts
|

Completeness of cocompletions

Abstract: We study several possible weakenings of the notion of limit and the associated notions of completeness for a category. We examine the relations among the various proposed notions of weakened completeness conditions. We use these conditions in the analysis of the existence of limits inside completions of categories under colimits. We further characterize when the completion of a category under finite colimits has finite limits with the aid of a condition requiring that reflexive symmetric graphs have bounded tr… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
3
0

Year Published

2007
2007
2023
2023

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(3 citation statements)
references
References 11 publications
0
3
0
Order By: Relevance
“…Thus µ-presentable objects in P(A) are µ-presentable in P(A 0 ). Since the latter objects are closed under finite limits (see [21] 4.9), µ-presentable objects in P(A) are closed under finite conical limits. It remains to show that they are closed under cotensors with finitely presentable simplicial sets.…”
Section: Class-combinatorial Model Categoriesmentioning
confidence: 99%
“…Thus µ-presentable objects in P(A) are µ-presentable in P(A 0 ). Since the latter objects are closed under finite limits (see [21] 4.9), µ-presentable objects in P(A) are closed under finite conical limits. It remains to show that they are closed under cotensors with finitely presentable simplicial sets.…”
Section: Class-combinatorial Model Categoriesmentioning
confidence: 99%
“…For the first part of this section we suppose that V = Set, leading to Theorem 5.1. The latter should be attributed to Freyd, although it may not have been written down by him in exactly this form; it is a special case of [9,Theorem 4.8]. We include it as a warm-up for the more general case where the underlying category V 0 of V is a presheaf category.…”
Section: This Provides An Alternative Proof Ofmentioning
confidence: 99%
“…Rosický also characterized, in the case V = Set, when PK is cartesian closed; see Example 7.4 below. In a slightly different direction, the existence of limits in free completions under some class of colimits was studied in [9].…”
mentioning
confidence: 99%