Essay III
Thermodynamically Sustained Autopoiesis in an (∞)-Topos
Life-like autonomy is a least fixed point of feasible production together with a greatest fixed point of viable dynamics. Organizational closure is sustained by thermodynamic openness, not by isolation.
Contents60 sections
Abstract
Let be an -topos and an internal symmetric monoidal -category of open physical processes, with operad . For a structured system , let be its primitive endogenous operad, its requirement operad, and its production operator, with least fixed point .
Thermodynamics enters through an internal ordered commutative monoid, or quantale, of costs, and a lax symmetric monoidal valuation . In physical models may record work, exergy consumption, free-energy dissipation, entropy production, or a tuple of these. The state object carries a viability subobject . Admissible dynamics determine a monotone operator on , whose greatest fixed point is the viability kernel: the states from which can remain viable indefinitely.
Thermodynamically sustained autopoiesis is the conjunction
where retains only thermodynamically feasible realizations. Life-like autonomy is the coexistence of a least fixed point of recursive production and a greatest fixed point of viable dynamics. Cells, viruses, and ordinary computers are then separated by how endogenous generation, environmental coupling, viable maintenance, and thermodynamic expenditure sit relative to one another — not by information-processing capacity alone.
1The ambient physical (∞)-topos
Let be an -topos containing internal objects of real quantities, among them , , and . Objects and morphisms may depend on spacetime, environment, experimental context, or scale. Thermodynamic quantities are variable objects of the topos, not globally fixed scalars.
2Open physical processes
Let be an internal symmetric monoidal -category. Objects are physical interfaces. A morphism is an open process. The tensor product is parallel composition, and is sequential composition. Open reaction networks sit in this pattern: they are morphisms, and composition joins outputs of one network to inputs of another.
3The cost object
Definition 3.1
Internal thermodynamic quantale
Let be an internal commutative quantale in . The basic model is , with the reversed order of Lawvere’s convention: if and only if . Addition is the monoidal operation. The point of the reversal is that enrichment records cost, and a cheaper process is a “better” morphism.
Lawvere’s observation that metric spaces are categories enriched in is the cost semantics used below.
4Thermodynamic valuation
Two quantities must be kept apart. For a concrete physical realization , entropy production or dissipated work is an actual physical number. For an abstract operation , one may instead ask for the greatest lower bound of that cost over all realizers. The first is an additive valuation. The second is a Lawvere cost.
Definition 4.1
Realized dissipation
A thermodynamic valuation is a lax symmetric monoidal functor . For a process , write . Depending on the model, may be dissipated work , consumed exergy , environmental temperature times entropy production , or a tuple of such quantities.
5Sequential and parallel composition
For independently composed realized processes one expects additivity, and , up to the bookkeeping of the thermodynamic model. For minimum costs, exact additivity is too strong. What survives is the triangle inequality .
Proposition 5.1
Lawvere cost inequality
Define , where means that the physical process realizes the abstract operation . Then .
Proof. If and , then , so . Under additive accounting, . Taking the infimum over realizers yields the inequality. Lax additivity gives the same bound.
End of proof.
Minimum thermodynamic cost is an enriched geometry on the space of realizable operations.
6Nonequilibrium free energy
For biochemistry the relevant thermodynamics is nonequilibrium thermodynamics. Open chemical reaction networks admit energy and entropy balances in which nonequilibrium Gibbs free energies act as potentials. Rao and Esposito show that the entropy production of an open network decomposes into a change of potential and the work supplied through external chemostats and nonconservative forces.
At constant environmental temperature , a schematic splitting of supplied free energy is
In rates, for an open material system,
The potential depends on the ensemble and on the conserved quantities. The categorical theory needs only an additive or lax-additive valuation . The displays above are the intended physical reading of that valuation, not an extra axiom.
7Entropy production
Definition 7.1
Entropy production
For each process , let be its entropy production. The second law is the internal proposition . When the interface accounting includes every exchanged entropy, sequential composition adds: . For independent subsystems, parallel composition adds: .
8Exergy
Energy is too coarse a currency, because energy is conserved. What an autonomous system consumes is available free energy relative to its environment: exergy.
Definition 8.1
Exergy consumption
Let denote the exergy consumed by a process . At environmental temperature , irreversibility destroys exergy at the rate . Thus is irreversible degradation of useful free-energy resources.
9Thermodynamically feasible operations
Definition 9.1
Budget feasibility
Fix a budget . An operation is -feasible when . Write for the collection of -feasible operations. Budgets compose by the monoidal structure . For scalar exergy, .
10Budget-indexed operadic composition
If costs at most and each costs at most , then has a realization costing at most .
Theorem 10.1
Operadic cost inequality
Proof. Choose realizers arbitrarily close to the respective infima and substitute them operadically. Costs of the resulting process are additive or lax-additive. Taking infima yields the inequality.
End of proof.
The process -operad therefore carries a cost enrichment.
11The thermodynamic production doctrine
Definition 11.1
Feasible production
Let be the admissible environmental exergy supply of . Define , also written , to be the suboperad of operations which can be produced using operations in , which satisfy the physical constraints of , and which possess realizers compatible with the budget . The recursively generated operad is .
12Thermodynamic organizational closure
Definition 12.1
Feasible closure
The system is thermodynamically organizationally closed when .
This is strictly stronger than . Formal generability does not imply energetic feasibility. A system may satisfy the first inclusion and fail the second. It then has an abstract self-production network that it cannot energetically sustain.
13State objects
Let be the state object of . A point of packages the state variables that matter: concentrations, temperature, chemical potentials, the boundary , and whatever else the model treats as state.
14The viability subobject
Definition 14.1
Viability
A viability condition is a subobject . Internally, means that the state is compatible with continued existence of as a system of the specified organizational type. Viability may constrain membrane integrity, temperature, chemical potential, ATP/ADP ratio, pH, structural damage, error rates, voltage, or other variables.
Homeostasis is a viability problem. Critical variables are held in restricted ranges despite disturbances, and holding them there costs continuing free energy.
15Admissible controls
For , let be the space of thermodynamically admissible endogenous process-families available at . Each produces a successor . The deterministic notation may be replaced by a stochastic kernel. The lattice argument is unchanged.
16The viability predecessor
For , declare if and only if some admissible endogenous process satisfies . Define
A state lies in when it is viable and can be driven, admissibly, into .
17Monotonicity
Lemma 17.1
The viability operator is monotone
If , then .
Proof. A process taking into also takes into whenever . Thus . Intersection with preserves the inequality.
End of proof.
18The viability kernel
The subobject lattice is complete. A monotone endomap has a greatest fixed point.
Definition 18.1
Viability kernel
Set . This is the viability kernel of . A state lies in precisely when some indefinitely extendable sequence of thermodynamically admissible processes keeps the system inside .
Theorem 18.2
Fixed-point equation
Proof. Unfold .
End of proof.
19Two fixed points
The theory now contains two recursive constructions of opposite variance. The least fixed point asks which organizational operations the system can recursively generate. The greatest fixed point asks from which states the system can continue indefinitely without leaving its viability region.
20Thermodynamically sustained autopoiesis
Definition 20.1
Thermodynamic autopoiesis
The system is thermodynamically autopoietic, written , when
The inequality denotes the initial subobject. The kernel is required to be inhabited.
21Why both fixed points are required
A self-copying chemical process might meet the operadic condition and immediately exhaust its free energy. Then while . A passive crystal might persist for a very long time inside a stable viability region and possess no recursively self-producing operad. Then does not yield .
22Living systems are not thermodynamically closed
A living cell generally satisfies , , and . The relevant condition is not thermodynamic closure.
Nonequilibrium thermodynamics treats cellular processes as dissipative systems held away from equilibrium by sustained chemical or energetic driving. There is no contradiction between the two fixed points and that fact. The driving is what lets the least fixed point stay feasible and the greatest fixed point stay inhabited.
23Maintenance cost
Define the minimal average maintenance power of by
where ranges over viable policies whose trajectories remain in .
Definition 23.1
Strictly positive maintenance
The system has strictly positive maintenance cost when .
For nonequilibrium target states this is the expected situation. Maintaining a prescribed distribution away from equilibrium requires continuing work and continuing dissipation. Explicit lower bounds of this form are known for Markov systems.
24An energetic obstruction
Theorem 24.1
Insufficient exergy empties the kernel
Suppose and the asymptotic available exergy power satisfies . Then .
Proof. If , there is an indefinitely viable policy . By definition of ,
The environment supplies only asymptotic power , so the required cumulative exergy eventually exceeds the available cumulative exergy. The trajectory cannot continue indefinitely.
End of proof.
25The cumulative form
If every viable trajectory requires at least of free energy on each interval of duration , then after intervals the required exergy is at least . An indefinitely viable trajectory therefore requires infinite cumulative throughput. Perpetual biological organization does not require a finite store large enough to last forever. It requires a persistent supply.
26Isolation cannot pay the maintenance
Corollary 26.1
Nonequilibrium maintenance
If is separated from thermodynamic equilibrium and maintaining states in has a strictly positive dissipation lower bound, then a finite-energy isolated realization of cannot remain viable indefinitely. Symbolically, and imply that a finite isolated resource forces .
Autonomous organization is compatible with thermodynamics because the autonomy is organizational, not an energetic isolation.
27The operadic maintenance burden
For each required operation , set . A generating family has a schematic burden , where is the required execution frequency. For a continuous reaction network the same idea becomes an integral, or a flux–force pairing.
28Flux and force
For a chemical reaction network with currents and affinities , the entropy-production rate has the standard form
The operad says which compositions exist. The valuation says what they cost. Rao and Esposito connect the conservation laws and the topology of an open network with the decomposition of thermodynamic forces and of entropy production.
29Host coupling
Let be a virus and a host, interacting across an interface . The coupled process operad is generated by . The valuation extends to mixed virus–host trees.
30Cost of a mixed tree
Lemma
Cost of a mixed tree
Let be a finite operadic tree with vertices , each assigned a physical process of cost . Then .
Proof. Induct on the tree. The single-vertex case is immediate. At an internal vertex, apply Theorem 10.1 to the root and to the child subtrees.
End of proof.
31Two ways a host can help
It may happen that while . There are two different reasons. The host may supply an operation that does not have. Or the host may supply the energetic conditions under which an otherwise inaccessible operation becomes feasible. Coupling enlarges both the feasible process algebra and the available thermodynamic budget.
32Viral thermodynamic dependence
A virus can therefore satisfy while . This is stronger than bare causal dependence on a host. The host closes an operadic deficit and a thermodynamic deficit at once.
33Coupling is not a free lunch
Theorem 33.1
No thermodynamic free lunch
Suppose host supplementation makes a previously unavailable operation feasible, so and . Every physical realization of in still satisfies .
Proof. The pushout enlarges the space of allowed compositions. It does not change the second-law clause of the valuation. Every realized composite is a process of , and for every such process.
End of proof.
Supplementation redistributes an energetic burden. It does not delete it.
34Subsystem cost is not total cost
From the virus’s point of view, is an environment supplying machinery and free energy. From the point of view of , those contributions are internal and must be paid for in the same thermodynamic ledger.
Apparent autonomy must not be obtained by pushing maintenance across an unstated boundary.
35Industrial coupling of computers
Let be a conventional computer and the industrial system required for its continued physical reproduction. The pushout contains silicon purification, photolithography, chip fabrication, power generation, replacement, and assembly. The isolated computer does not realize these processes. Thus , while one may have .
36The dependency analogy, and its limit
The structural analogy is not “virus software.” A tighter analogy pairs the virus with its host against the computer with its industrial ecology.
Both exhibit a subsystem whose physical continuation depends on a much richer external process algebra. This remains an analogy under a coarse dependency functor. The full objects differ.
37The cell, thermodynamically
Let be a bacterium. The modeling hypothesis is and , provided the environment supplies nutrients, electron donors or acceptors, light, or some other free-energy source in an admissible way. Then . The cell is not energetically self-sufficient.
That is the stronger distinction. Essay I separated closure from substrate. Essay II separated closure from a snapshot of available operations. The present condition separates a self-maintaining converter of free energy from a device whose fabrication remains outside its own operad.
38The thermodynamic invariant
Write
With material typing included,
39Thermodynamic equivalence
Definition 39.1
Equivalence
An equivalence of thermodynamically structured systems preserves , , , the viability subobject , the operator , and the valuation .
40Invariance
Theorem 40.1
Equivalence preserves both fixed points
If thermodynamically, then and . Consequently if and only if .
Proof. The least-fixed-point claim is the transfinite comparison used for the unweighted production operator: equivalence conjugates and preserves the colimits that build . For the viability operator, equivalence induces an isomorphism intertwining and . Greatest fixed points are transported to greatest fixed points. Preservation of gives the equivalence of .
End of proof.
41Thermodynamic separation
Theorem 41.1
Cell and isolated computer
Suppose for a bacterium and for an isolated computer . Then as thermodynamically structured systems.
Proof. Theorem 40.1.
End of proof.
42The virus is a different object from the infected cell
Suppose , while an isolated virus satisfies . Then , again by Theorem 40.1, since thermodynamic autopoiesis fails for . The inclusion does not disturb the conclusion. The systems and are different.
43Changing the boundary changes the object
Let be an enlargement of the system boundary. In general , and the available exergy may satisfy . Under compatible production doctrines, . A system can fail autonomy at one boundary and satisfy it at another. This is not a paradox. The object has changed.
44No self-sufficiency claim without a boundary
For a computer the tower of boundaries runs from the machine, to the machine plus a power grid, to the machine plus a factory, to the machine plus an industrial economy. For a virus it runs from the virion, to the virion plus a host, to the virion plus host plus a transmission ecology. For a bacterium it runs from the cell to the cell plus its nutrient environment.
Every open physical system depends on an environment. The question that distinguishes them is which organizational operations are internal to the chosen boundary.
45Feedstock is not machinery
Suppose an organism imports glucose. The molecule is a resource object. The organism already contains the processes that carry it through transport, glycolysis, respiration, ATP production, and biosynthesis. When a computer receives a newly fabricated processor, much of the process algebra that produced the processor lies outside the computer. External dependence has a type.
46Two operads, not one pile of matter
Let be the operad of permitted feedstock transformations and the operad of machinery-producing transformations. Autopoietic closure asks, approximately, that
and does not ask that every material particle required by already lie in . Organisms do not fail autonomy by eating.
47What a bacterium imports
A bacterium may import carbon, nitrogen, phosphate, and free energy. It uses recursively produced machinery of its own to turn those imports into proteins, lipids, nucleic acids, ribosomes, membranes, and daughter cells. The intended condition is not the absence of external inputs.
48The ordinary computer has the opposite architecture
For a conventional computer the corresponding physical modes look like external machinery plus external feedstock yielding replacement components. The computer itself performs little or none of ore extraction, silicon purification, wafer fabrication, lithography, packaging, or mechanical assembly. The machinery-producing suboperad is external. This is a stronger claim than the observation that the computer needs electricity.
49The theory does not ban artificial life
Nothing here defines life by carbon chemistry. Suppose an artificial system had endogenous processes for resource acquisition, refining, component fabrication, repair, assembly, and reproduction of its controller, under a sustainable energy throughput. If and , then . The predicate is structural. A future machine could satisfy it. Satisfying it is a different claim from computation, learning, self-modifying software, or behavioral copying.
50Autopoiesis does not classify up to equivalence
Even if and both hold, does not follow. The supports may differ, . The operads may differ while sharing the same closure truth value. Thermodynamic autopoiesis is an invariant, not a complete classifier. Essay I already separated the substrate obstruction from the organizational one. Both survive the thermodynamic enrichment.
51Viability as a modality
Let be a Lawvere–Tierney topology encoding a chosen notion of viable observability, with left-exact localization . Two systems may become indistinguishable after viability localization, , without being equivalent in the ambient topos.
A 2026 treatment of autopoiesis proposes viability-localized self-production, with a Lawvere–Tierney topology, an explicit production and repair structure, boundary production, and viability conditions. The fixed-point construction here is complementary. Rather than only localizing at viable observations, it computes the invariant set of states that support indefinitely extendable viable dynamics.
52Localization and the kernel together
One may ask both for and for . The first is closure up to viability-relevant equivalence. The second is the existence of actual viable trajectories. Write for the conjunction. It is stronger than either half.
53A viability localization is not a physical equivalence
Suppose a computational model reproduces every viability-relevant observable of a cell , so . It still does not follow that . The missing inference is reflection of equivalences. Unless is conservative on the relevant objects, is only a localized equivalence.
54A scale of equivalence
The notions of sameness in play, from coarsest to finest, are behavioral equivalence, computational equivalence, dependency equivalence, operadic equivalence, thermodynamic-operadic equivalence, and materially typed physical equivalence. None of the reverse implications is automatic. Each step remembers structure the previous step was allowed to forget, and forgetting is exactly where conservativity fails.
55The full invariant
Define
The tuple records substrate, process algebra, recursive generability, thermodynamic feasibility, viability, maintenance cost, heredity, and lineage.
56Full invariance
Theorem 56.1
Equivalence preserves the full invariant
If as fully thermodynamically structured physical systems, then .
Proof. Each coordinate is defined from structure the equivalence preserves. Support is invariant under typed equivalence. The operads and are preserved by definition. Least production fixed points are preserved by conjugacy of . Greatest viability fixed points are preserved by conjugacy of . The valuation and the maintenance cost are preserved by thermodynamic equivalence. Heredity and lineage are part of the structured equivalence. The tuple is therefore preserved.
End of proof.
57Main separation theorem
Theorem 57.1
Thermodynamic-operadic separation
Let , , and be a bacterium, a virus, and a conventional computer. Assume
while but for some host , and but for some industrial environment . Then and as thermodynamically structured systems. If furthermore , then .
Proof. The first two statements are invariance of thermodynamic autopoiesis, Theorem 40.1. For the third, an equivalence would identify the full invariant by Theorem 56.1.
End of proof.
58The diagram
The theory has three layers. Exergy enters from the environment. Endogenous operations generate a feasible closure, which is asked to contain the requirements. States evolve by , and autonomy additionally requires the viability kernel to be inhabited.
The top asks what can be produced. The horizontal arrows ask what is required. The bottom asks whether production can sustain a viable trajectory.
59The defining equations
Thermodynamically sustained autopoiesis is and . A host-dependent replicator fails the first inclusion for and satisfies it for . An energetically impossible system has , whatever its formal operad says.
Autopoietic
and
Host-dependent
, but
Energetically impossible
60Conclusion
The resulting distinction is stronger than substrate alone and stronger than computation alone. The structures that matter are material support, the endogenous process operad, recursive productive closure, thermodynamic feasibility, viability, and the typing of environmental coupling.
The biological pattern is not “information processor.” It is closer to the following chain. Environmental matter and free energy enter a recursively self-generated process algebra. That algebra regenerates itself. The trajectory remains in a viable nonequilibrium region. In symbols, and . The thermodynamic cost of maintaining the condition cannot in general vanish: .
The organization is causally closed in the relevant organizational sense, and thermodynamically open. Thermodynamic openness is what lets organizational closure persist.
For the cell, a large part of the machinery required to construct, repair, regulate, and reproduce the system lies in . For an ordinary computer, the crucial fabrication and maintenance operations lie in only after the industrial environment has been adjoined.
A future artificial system could cross the boundary drawn here. Demonstrating that would require more than computation, learning, self-modifying software, or behavioral self-replication. One would have to establish and , under an explicit physical boundary and a complete thermodynamic accounting. Only then would the separation proved in this edition fail to distinguish that system from an organism.
References
- 1Jacob Lurie, Higher Algebra. Symmetric monoidal -categories and -operads.
- 2John C. Baez and Blake S. Pollard, “A compositional framework for reaction networks.” Reviews in Mathematical Physics 29 (2017), 1750028.
- 3John C. Baez, Brendan Fong, and Blake S. Pollard, “A compositional framework for Markov processes.” Journal of Mathematical Physics 57 (2016), 033301.
- 4Riccardo Rao and Massimiliano Esposito, “Nonequilibrium thermodynamics of chemical reaction networks: wisdom from stochastic thermodynamics.” Physical Review X 6 (2016), 041064. Nonequilibrium free energies, chemical driving, and entropy production for open networks.
- 5Riccardo Rao and Massimiliano Esposito, “Conservation laws shape dissipation.” New Journal of Physics 20 (2018), 023007.
- 6Jordan M. Horowitz, Kevin Zhou, and Jeremy L. England, “Minimum energetic cost to maintain a target nonequilibrium state.” Physical Review E 95 (2017), 042102. The maintenance-cost invariant .
- 7F. W. Lawvere, “Metric spaces, generalized logic, and closed categories.” Rendiconti del Seminario Matematico e Fisico di Milano 43 (1973), 135–166. Enrichment over , and the inequality .
- 8The 2026 topos-theoretic treatments of autopoiesis cited in the essay — viability localization, production and repair, and boundary maintenance — are complementary to the two-fixed-point criterion used here, not substitutes for it.