How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
FALSE: A continuous functor on a complete category necessarily has a left adjoint
Statement
False claim. If a category is complete and a functor is continuous, then necessarily has a left adjoint.
Facts & Assumptions
Given: The definable-class category and the unique functor .
A category is complete when every small diagram has a limit; this does not assert limits of large diagrams (Finite, small, and large limits and colimits; complete and cocomplete categories).
A functor is continuous when it preserves all small limits (Preservation, reflection, and creation of limits and colimits; continuous and cocontinuous functors).
Under the library's definable-class convention, a category may have definable-class object and morphism collections (Category, object, morphism, domain, codomain, identity, composition, and hom-collection).
For ordinals: ; is an ordinal; if is any set of ordinals then is an ordinal; and if and only if or (Basic closure properties of ordinals).
For locally small and , an adjunction determines bijections natural in and (Under local smallness, transposition gives the natural hom-set bijection, and conversely).
Refutation
Regard the ordinals as a definable-class thin category under their usual order and take its opposite. Let be the set of object ordinals of a small diagram. By [L4], is an ordinal; each satisfies , so by the inclusion criterion in [L4], and if for every then . Hence is the least upper bound of in , that is, a greatest lower bound and so a limit in the opposite category; for the empty diagram the union is . Thus is complete in the small-diagram sense of [L1].
Suppose had a left adjoint , and put . Both and are locally small, being thin, so [L5] applies and gives , which is a singleton; hence the left side is nonempty for every ordinal . In the opposite ordinal order this says for every ordinal .
The unique functor preserves every small limit, because every cone in the terminal category is limiting. It is therefore continuous by [L2].
By [L4] the successor is an ordinal with , so , while because ; hence , contradicting the conclusion of step 1.2 that every ordinal is at most . Therefore no such left adjoint exists, even though the source is complete and the functor is continuous.
Depends on
- Preservation, reflection, and creation of limits and colimits; continuous and cocontinuous functors
- Finite, small, and large limits and colimits; complete and cocomplete categories
- Class-sized category theory in ZFC: definable-class schemas, small and locally small categories, and why $\mathbf{CAT}$ is not formed
- Category, object, morphism, domain, codomain, identity, composition, and hom-collection
- Basic closure properties of ordinals
- Adjunction by unit, counit, and the triangle identities
- Under local smallness, transposition gives the natural hom-set bijection, and conversely
Used by
Nothing in the library uses this result yet.
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 52 results over 21 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.
Sources
- T. Leinster, Basic Category Theory, example 6.3.14 (standard reference, not scraped)