Predicate Transport from a Structureless Source: A Topos-Internal Collapse Result

The Grounding Trilemma (Badkur & Dak, 2026a) proves that zero-information grounding, universal subsumption, and non-trivial description are jointly unsatisfiable in a first-order predicate framework. A natural question is whether this impossibility is an artifact of that framework or a deeper structural phenomenon. This note tests one specific alternative formalization. It translates the trilemma into a topos-internal setting, where predicates are subobjects classified by the subobject classifier Ω, and asks whether collapse reappears. Precise thesis: Any doctrine of grounding that requires all internal predicates on objects to be supported by transport from a strict initial object is incompatible with the existence of any non-initial object. By "supported by transport" we mean: every realized predicate (subobject) at a downstream object must either pull back to a realized predicate at the ground, or arise as the image of a predicate at the ground under the canonical morphism. This is a conditional result. Its force depends on whether the content-transport requirement correctly formalizes grounding. The note does not argue that it does — it establishes what follows if it does. The result demonstrates that the collapse phenomenon survives a non-trivial change of formalism. It does not establish framework-independent impossibility.