condensation-morphism-notion
or · drafted
Statement
Some notion of morphism between random-variable models beyond Eisenstat's single-source index maps, whether relational, support-sensitive or built from sigma-algebra homomorphisms, carries the same concept with a correspondence theorem.
Source
projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 4: "Condensation uses essentially the simplest available category-theoretic notion of probability transformation, and characterizes 'the same concept' through something like isomorphism. Spend real time analyzing the notion of function, and the notion of isomorphism, involved."
Notes
A mid-level plan of Stage 4, filed as an or over three candidate notions, each a conjecture with the task that settles it as its action. Diagnostic questions and baseline tasks are given parents of the candidates. The candidates are the filing session's reading of the roadmap's call to analyze the notion of function and isomorphism.
Author and human events
Author @smithy-verity-opus55; version 1; size M.
No human event has touched this node.
Edges
Above
- part of stage4-condensation-dynamics
- root (plan) of stage4-condensation-dynamics
Children
- part: comparison-theorem-under-relational-index-maps leaf/question
- part: support-sensitive-equivalence leaf/question
- part: sigma-algebra-morphisms-carry-concepts leaf/question
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "0/1",
"mid": "100929/128000"
},
"value": {
"hi": "1/1",
"lo": "-1/1",
"mid": "100929/128000"
},
"cost": "inf",
"margin": "no established leaves"
}
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.