Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Metaphysics — what exists and what it is to exist — causation, emergence and levels, laws, time — as a philosophical question (group: philosophy).
3 of 52 ARG documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| ARG-023 | The Yoneda lemma shows that relations constitute what a communicative act is | The Yoneda lemma fixes an object up to isomorphism from its whole hom-functor, and it is read as the formal version of “an object is determined by its relations”. It fixes the object only among objects the category already has, so it presupposes the relata. It cannot establish constitution, and it gives elimination of the relata no support. CLAIM-150 undercuts it. | Rejected |
| ARG-029 | The operational account, kept as a rule of method, supports a realist kind that can outrun observation as the bearer of communicative identity | Between A203 and A218 the bearer of communicative identity moved from an equivalence class defined on observed responses to a structural kind that may be “real while remaining indistinguishable” under the probes. CLAIM-142 names the step in one sentence, method kept and object changed. Proposed: no turn argues for the kind, and the exchange itself concedes that a traditional ontology “might reproduce the same statistical predictions”. | Proposed |
| ARG-038 | A character’s classificatory sufficiency shows that relations constitute what a communicative act is | The owner’s character analogy: a communicative kind is identified by an invariant, as a group character identifies a representation (CLAIM-137). At its strongest that gives classificatory priority, not constitution. A198 §VI: “It would be a mistake to infer the third automatically from the first two.” CLAIM-150 undercuts it. | Rejected |