On The Existence Of Category Bicompletions
classification
🧮 math.CT
math.AC
keywords
existencebicompletioncategoryconjectureadvancedbicompletionschange-of-universecompleteness
read the original abstract
A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the validity of the result would lead to the existence of an Isbell-Lambek bicompletion C(A) of such an A, without a "change-of-universe" procedure being necessary to describe or discuss the bicompletion.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.