Book 02 · The focused framework

Machine Learning from Enforcing Compositionality

A Categorical Framework for Structural Diagnosis and Repair

304 pagesDraftAugust 26, 2026
Cover of Machine Learning from Enforcing Compositionality by Sridhar Mahadevan

Scope

A novel formulation of machine learning, based not on minimizing loss functions, but driven by failures of compositionality.

Start here

Begin here if you know basic category theory and want the clearest statement of structural diagnosis and repair across learning, causality, reasoning, and trustworthy foundation models.

Chapter outline

Part I

Categorical Foundations

p. 31
  1. A Working Language of Compositionalityp. 33
  2. Axioms of Structural Learningp. 59
  3. Learning by Repairp. 75
  4. Learning Sketches and Factorization Obstructionsp. 83
  5. Tangent Learning Sketchesp. 91
  6. Infinitesimal Causalityp. 101
  7. Infinitesimal Categorical Databasesp. 111
  8. Infinitesimal Decisionsp. 123
  9. Deep Learning in Non-Compositional Sketchesp. 133
  10. Quotients, Localization, Repair, and Admissionp. 143
  11. Reasoning by Structural Repairp. 153
Part II

Applications

p. 163
  1. Geometric Causal Discoveryp. 165
  2. Repairing Kan-Extension Structurep. 173
  3. Composable Neural Adaptersp. 181
  4. Skills over Lie Algebroidsp. 187
  5. Infinitesimal Reinforcement Learningp. 193
Part III

Relational Learning and Reasoning

p. 201
  1. Learning from Structured Preferencesp. 203
  2. Relational Manifold Recoveryp. 209
  3. Sheaf-Based Distributed Learningp. 215
  4. Infinitesimal Argument Repairp. 223
  5. Trustworthy Foundation Modelsp. 229
Part IV

Synthesis

p. 241
  1. A Pattern Language for LINCS Systemsp. 243
  2. Frontiers of Infinitesimal Learningp. 247

How to read the claims

The manuscript distinguishes categorical structure from optional scalar realizations and separates formal constructions from empirical admission decisions.

Selected supporting record

Papers, software, and evidence packets

This is a claim-scoped selection, not a complete bibliography. Local experiment packets are described but not publicly attached.

paper

Infinitesimal Causality

Develops the infinitesimal intervention and tangent-causal language inherited by the causal and simulator-grounded chapters.

Ch. 5

software

LINCS software companion

Inspectable implementations of the axiomatic core and the BRIDGE/SKFM, ALLORA, LASKO, GIRL, LINCS-RLHF, RADAR, and SID application packages.

Ch. 1 · Ch. 11 · Ch. 13 · Ch. 14 · Ch. 15 · Ch. 16 · Ch. 17 · Ch. 18

Open the curated evidence library

Experiment-to-code map

From chapter summaries to executable records

Each family records its chapter destination, code package, executable entry points, result artifacts, and evidentiary boundary.

Ch. 12

LINCS-KET blockwise repair

Five-seed synthetic architecture test and frozen-module PTB block-repair experiments.

Public core code · curated results
Ch. 13

ALLORA adapter composition

Pair/triple composition, scaling, safety-aware repair, and generative adapter experiments.

Public core code · curated results
Ch. 14

LASKO skill optimization

Cheap bracket probes, validation calls, scale experiments, and anchor-chain benchmarks.

Public core code · curated results
Ch. 16

LINCS-RLHF preference experiments

Calibration/power, opposite-stratum localization, relational games, and incomplete-support studies.

Public core code · curated results
Ch. 17

RADAR relational manifold recovery

Relational descent, chart construction and repair, solver comparisons, and MovieLens evaluation.

Public core code · curated results
Open the complete experiment atlas

Code companions

Public repositories and release gaps

Public links open the inspectable GitHub package. A local-only package is shown explicitly so an unpublished research archive is never mistaken for a reproducible public release.

multi-package software companion

LINCS software companion

Public companion containing formal, BRIDGE/SKFM, ALLORA, LASKO, GIRL, LINCS-RLHF, RADAR, and SID packages.

Apache-2.0

software package

LINCS LASKO package

Lie-algebroid skill optimization and validation-economics experiments.

Apache-2.0

software package

LINCS GIRL package

Infinitesimal reinforcement learning, policy transport, and structural-admission experiments.

Apache-2.0

software package

LINCS-RLHF package

Preference-obstruction simulations and relational fallback studies.

Apache-2.0

software package

LINCS RADAR package

Relational manifold, descent, chart-repair, and MovieLens studies.

Apache-2.0

software package

LINCS SID package

Typed descent and obstruction-aware information-fusion replays.

Apache-2.0

← Return to the four-book sequenceTrace experiments to code →