Pith. sign in

REVIEW 3 major objections 1 cited by

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

T0 review · grok-4.3

Chemical reaction systems organize into a tower of nine categorical levels where each resolves prior indistinguishabilities via a unique minimal extension certified by automorphism cokernels.

2026-06-30 19:28 UTC pith:U4UZG6TQ

load-bearing objection Ambitious nine-level categorical tower for chemistry with uniqueness via cokernels, but no derivations or examples supplied even for the first transition. the 3 major comments →

arxiv 2605.14974 v2 pith:U4UZG6TQ submitted 2026-05-14 physics.chem-ph

Categorification of Chemical Reactions: a bottom-up tower from stoichiometry to quantum structure

classification physics.chem-ph
keywords categorificationchemical reaction networksstoichiometryquantum chemistrycategorical towerFeinberg deficiencyPara-enrichmentKleisli semantics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs an explicit tower of nine categorical levels starting from stoichiometry and ascending through thermochemistry, equilibrium, kinetics, mechanisms, stereochemistry, potential surfaces, electronic structure, and all-particle quantum mechanics. Each new level is obtained by distinguishing pairs of reactions that remain indistinguishable at the level below, with the minimal such extension proven unique by a non-trivial cokernel in an automorphism exact sequence. This recovers Feinberg's deficiency theorems as direct homological consequences. Machine-learning models of chemistry are positioned as morphisms in the Para-enrichment of individual levels, with equivariance and thermodynamic consistency arising as universal properties. The construction further yields a functorial simulator of the Briggs-Rauscher reaction inside the Kleisli category of the probabilistic sub-monad.

Core claim

Chemical reaction systems admit a canonical tower of nine levels from stoichiometry to all-particle quantum mechanics. At each stage, pairs of reactions that are distinct yet indistinguishable at the prior level generate an automorphism exact sequence whose non-trivial cokernel certifies a unique minimal extension to the next level; Feinberg's deficiency theorems appear as homological corollaries of this construction.

What carries the argument

The automorphism exact sequence at each level whose non-trivial cokernel certifies the unique minimal extension resolving reaction-pair indistinguishability.

Load-bearing premise

Chemical reaction systems admit a faithful categorical modeling in which indistinguishability of reaction pairs is captured exactly by automorphisms whose cokernels yield the unique minimal extension at each level without additional domain-specific choices.

What would settle it

Exhibit a concrete chemical reaction network at any tower level where either two distinct minimal extensions resolve the same indistinguishability or the relevant cokernel is trivial yet an extension is still required.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Feinberg's deficiency theorems for reaction networks follow immediately as homological corollaries of the tower construction.
  • Any ML model for chemistry (yield predictors, kinetic networks, equivariant force fields, learned wavefunctions) is a morphism in the Para-enrichment of one of the nine levels.
  • Three incompleteness results (Eyring theory, Wegscheider conditions, topological output gaps) apply uniformly to current literature models.
  • The first four levels descend via an operational functor to the Kleisli category of the probabilistic sub-monad, yielding the first Kleisli semantics for Gillespie's next-reaction method.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The tower supplies a uniform language for proving consistency of hybrid quantum-classical models without ad-hoc matching conditions.
  • Equivariance requirements in learned force fields would follow from the universal properties of the Para-enrichment rather than being imposed separately.
  • The same level-by-level resolution mechanism could be tested on biological signaling networks to check whether analogous deficiency theorems appear.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 0 minor

Summary. The manuscript constructs a nine-level categorical tower for chemical reaction systems, ascending from stoichiometry through thermochemistry, equilibrium, kinetics, mechanisms, stereochemistry, potential energy surfaces, electronic structure, and all-particle quantum mechanics. Each level is obtained from the previous by resolving pairs of reactions that are distinct yet indistinguishable at the lower level; the minimal resolving extension is asserted to be provably unique, certified by a non-trivial cokernel in an automorphism exact sequence. The construction is claimed to recover Feinberg's deficiency theorems as homological corollaries. Additional claims include a Para-enrichment interpretation of ML models in chemistry, three incompleteness results, and a concrete Haskell implementation of a Para-enriched simulator for the Briggs-Rauscher reaction via the Kleisli category of the probabilistic sub-monad.

Significance. If the core tower construction and its uniqueness claims can be verified with explicit derivations, the work would supply a systematic categorical account of how chemical rules at one level become incomplete when viewed from a richer structural level, potentially unifying disparate domains of chemical theory and providing universal properties for thermodynamic consistency and equivariance in learned models. The concrete Kleisli semantics for Gillespie's algorithm constitutes a tangible implementation strength.

major comments (3)
  1. [Abstract] Abstract: The central claim that each level transition is given by a provably unique minimal extension certified by a non-trivial cokernel in an automorphism exact sequence is asserted without any explicit computation of an automorphism group, exact sequence, or cokernel for even the first transition (stoichiometry to thermochemistry). No derivation or example is supplied to anchor the uniqueness or canonicity assertions.
  2. [Abstract] Abstract: Recovery of Feinberg's deficiency theorems as homological corollaries is stated, yet the manuscript supplies neither the relevant exact sequence nor the homological argument establishing the corollaries. This is load-bearing for the claim that the tower is grounded in existing chemical reaction network theory.
  3. [Abstract] Abstract (tower construction paragraph): The nine-level tower is presented as canonical and free of additional domain-specific choices, but the text provides no verification that the cokernel construction yields a faithful enrichment at any concrete level or that the resulting extension is minimal and unique rather than one of several possible categorical enrichments.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and for pinpointing the need for explicit derivations to substantiate the central claims. We agree that the abstract would benefit from concrete examples and will revise the manuscript to include them. This addresses the major comments directly while preserving the monograph's scope.

read point-by-point responses
  1. Referee: [Abstract] Abstract: The central claim that each level transition is given by a provably unique minimal extension certified by a non-trivial cokernel in an automorphism exact sequence is asserted without any explicit computation of an automorphism group, exact sequence, or cokernel for even the first transition (stoichiometry to thermochemistry). No derivation or example is supplied to anchor the uniqueness or canonicity assertions.

    Authors: We accept the observation. The general cokernel construction is developed in Section 2 of the full text, but the abstract presents the claim without a concrete calculation. We will add an explicit worked example as a new subsection, computing the automorphism group for the stoichiometry level, the relevant exact sequence, and verifying the non-trivial cokernel that establishes uniqueness of the thermochemistry extension. revision: yes

  2. Referee: [Abstract] Abstract: Recovery of Feinberg's deficiency theorems as homological corollaries is stated, yet the manuscript supplies neither the relevant exact sequence nor the homological argument establishing the corollaries. This is load-bearing for the claim that the tower is grounded in existing chemical reaction network theory.

    Authors: We agree that an explicit homological link is essential. The manuscript sketches the recovery at the kinetics level but omits the full sequence and proof. We will add a dedicated appendix deriving the exact sequence from the tower and demonstrating how Feinberg's deficiency-zero and deficiency-one theorems follow as direct homological corollaries. revision: yes

  3. Referee: [Abstract] Abstract (tower construction paragraph): The nine-level tower is presented as canonical and free of additional domain-specific choices, but the text provides no verification that the cokernel construction yields a faithful enrichment at any concrete level or that the resulting extension is minimal and unique rather than one of several possible categorical enrichments.

    Authors: This criticism is fair. Canonicity rests on the universal property of the cokernel, yet no concrete check of faithfulness or minimality appears. We will revise by adding a verification subsection for the first two levels, showing that the enrichment is faithful and that the cokernel extension is minimal (hence unique up to isomorphism) among resolving extensions. revision: yes

Circularity Check

0 steps flagged

No significant circularity; tower construction grounded in external homological results without self-referential reduction.

full rationale

The paper asserts that each level transition is certified by a non-trivial cokernel in an automorphism exact sequence yielding a provably unique minimal extension, with Feinberg's deficiency theorems recovered as homological corollaries. This indicates external grounding rather than internal self-definition. No equations, fitted parameters, or self-citations are exhibited that reduce the uniqueness claim to a tautology or input by construction. The mechanism is presented as an independent categorical construction without renaming known results or smuggling ansatzes via prior self-work. The derivation chain remains self-contained against the cited external theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Based on abstract only; the framework rests on category-theoretic modeling of reactions and the cokernel mechanism for uniqueness, with no free parameters or invented physical entities stated.

axioms (2)
  • domain assumption Chemical reactions form categories in which indistinguishability of distinct reactions is captured by automorphisms.
    Invoked to define the tower levels and the exact sequence.
  • ad hoc to paper The minimal resolving extension at each level is given by a non-trivial cokernel in the automorphism exact sequence.
    This is the central mechanism asserted to guarantee uniqueness and recover prior theorems.
invented entities (1)
  • Nine-level categorical tower no independent evidence
    purpose: To make explicit the structural levels of chemical description and resolve incompleteness
    The main new structure introduced in the abstract.

pith-pipeline@v0.9.1-grok · 5848 in / 1580 out tokens · 47465 ms · 2026-06-30T19:28:10.056567+00:00 · methodology

0 comments
read the original abstract

Chemistry's rules carry exceptions: the octet rule, Hess's Law, detailed balance, orbital symmetry selection rules, all with disclaimers memorised separately. Their cause: a question from a richer structural level posed in the vocabulary of a simpler one, i.e. level incompleteness. This monograph makes the levels explicit, constructing a canonical tower of nine categorical levels from stoichiometry through thermochemistry, equilibrium, kinetics, electron-pushing mechanisms, stereochemistry, potential energy surfaces, and electronic structure to all-particle quantum mechanics. Each level emerges from pairs of reactions distinct yet indistinguishable at the previous level; the minimal extension resolving each ambiguity is provably unique, certified by a non-trivial cokernel in an automorphism exact sequence, and recovers Feinberg's deficiency theorems as homological corollaries. A perpendicular dimension: every ML model for chemistry (yield predictors, neural kinetic networks, equivariant force fields, learned wavefunctions) is a morphism in the Para-enrichment of one tower level, with equivariance and thermodynamic consistency as universal properties. Three incompleteness results (Eyring, Wegscheider, topological output gaps) apply to the current literature. The framework descends to code: an operational functor from a Para-enriched product of the first four levels into the Kleisli category of the probabilistic sub-monad of Haskell IO, instantiated as a simulator of the Briggs-Rauscher oscillating reaction: the first Kleisli semantics of Gillespie's next-reaction method and first Para application outside ML. The passage to all-particle quantum mechanics, Born-Oppenheimer as the classical limit of a continuous field of C*-algebras, remains the deepest open construction; four candidate conjectures including Woolley-Primas have obstructions the framework makes specific.

Figures

Figures reproduced from arXiv: 2605.14974 by Kyunghoon Han.

Figure 1
Figure 1. Figure 1: Operational and denotational semantics for the BR simulator. [PITH_FULL_IMAGE:figures/full_fig_p409_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: ODE trajectory for briggsRauscherDE at the chosen parameterisation: the V → ∞ Kurtz limit of FBR’s species-mean process. All six dynamical species participate in coherent relaxation spikes separated by quiescent recharging of ∼ 1100 s. Observed inter-spike interval ≈ 1250 s. Dashed vertical lines mark spike-onset. Numerical noise in the HOI panel near t = 0 is at the ODE absolute-tolerance floor (not chemi… view at source ↗
Figure 3
Figure 3. Figure 3: Projection of the ODE trajectory onto ([I−], [I2]) in log–log coordinates; colour encodes simulation time. The trajectory traces an approach to a four-corner limit cycle but does not yet close within τ = 1800 s (yellow end-point offset from purple start), consistent with transient relaxation from off-cycle initial conditions [PITH_FULL_IMAGE:figures/full_fig_p439_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Projection onto ([I−], [HOI]). The lower-right portion at small t is ODE￾tolerance numerical noise near the analytic HOI floor; the main limit-cycle structure is visible from t ≈ 250 s onward. the exact CTMC at low copy (§12.2, §12.5); the magnitude is a phase-statistic that requires N ≫ 6 realisations for a quantitative kernel-level estimate. • Spike-peak agreement. Peak molecule counts in the SSA, conver… view at source ↗
Figure 5
Figure 5. Figure 5: Stochastic view of F ◦ Φop(briggsRauscherDE) at the same parameter￾isation, V = 10−15 L, N = 6 independent SSA realisations. Solid lines: ensemble means; shaded bands: [min, max] across realisations. y-axes are molecule counts (1 molecule ≈ 1.66 × 10−9 M at this volume). Observed inter-spike interval ≈ 1050 s. Quiescent-phase populations of HIO2, IO2•, and MnOH2+ are at 0–1 molecules per V ; the visual tex… view at source ↗
Figure 6
Figure 6. Figure 6: Projection of SSA realisations onto ([I−], [I2]). Thin grey lines: individual realisations. Viridis-coloured curve: ensemble mean; colour encodes time. Red dotted line: 1-molecule resolution at V = 10−15 L. Trajectories cross this line repeatedly during the quiescent phase, entering the regime where the SSA tracks the integer￾valued state of each realisation exactly while the ODE continuous representation … view at source ↗
Figure 7
Figure 7. Figure 7: Projection onto ([I−], [HOI]). Most realisations spend a substantial fraction of the quiescent phase near [HOI] ≈ 10−9 M (≈ 1 molecule per V ), with stochastic excursions to ∼ 10−6 M during spikes. The ODE’s smooth quiescent HOI floor ( [PITH_FULL_IMAGE:figures/full_fig_p441_7.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Category Theoretic Framework for Chemistry I: a Tower of Chemistry

    physics.chem-ph 2026-06 unverdicted novelty 6.0

    A tower of categories is constructed from Petri net reaction networks through stoichiometry, thermochemistry, equilibrium, kinetics, mechanism, geometry, and electronic structure to locate chemical quantities at appro...

Reference graph

Works this paper leans on

287 extracted references · 287 canonical work pages · cited by 1 Pith paper

  1. [1]

    Thermochemische Untersuchungen

    Germain Henri Hess. Recherches thermochimiques.Bulletin Scientifique publié par l’Académie Impériale des Sciences de Saint-Pétersbourg, 7:257–272, 1840. Presented 27 March 1840; German translation in Annalen der Physik und Chemie (Poggendorff)50, 385–404 (1840) under the title “Thermochemische Untersuchungen”

  2. [2]

    Germain henrihess andthe foundations ofthermochemistry

    Henry M.Leicester. Germain henrihess andthe foundations ofthermochemistry. Journal of Chemical Education, 28(11):581, 1951

  3. [3]

    Oxford University Press, 2023

    Peter Atkins, George Ratcliffe, Mark Wormald, and Julio de Paula.Physical Chemistry for the Life Sciences. Oxford University Press, 2023

  4. [4]

    Gilbert N. Lewis. A new principle of equilibrium.Proceedings of the National Academy of Sciences, 11(3):179–183, 1925

  5. [6]

    E. U. Condon. The principles of statistical mechanics.Journal of Applied Physics, 10(10):691–692, 1939

  6. [7]

    Stochastic thermodynamics, fluctuation theorems and molecular machines.Reports on Progress in Physics, 75(12):126001, 2012

    Udo Seifert. Stochastic thermodynamics, fluctuation theorems and molecular machines.Reports on Progress in Physics, 75(12):126001, 2012

  7. [8]

    Horn and R

    F. Horn and R. Jackson. General mass action kinetics.Archive for Rational Mechanics and Analysis, 47(2):81–116, 1972

  8. [9]

    Necessary and sufficient conditions for detailed balancing in mass action systems of arbitrary complexity.Chemical Engineering Science, 44(9):1819–1827, 1989

    Martin Feinberg. Necessary and sufficient conditions for detailed balancing in mass action systems of arbitrary complexity.Chemical Engineering Science, 44(9):1819–1827, 1989

  9. [10]

    Springer International Publishing, 2019

    Martin Feinberg.Foundations of Chemical Reaction Network Theory. Springer International Publishing, 2019

  10. [11]

    Über die reaktionsgeschwindigkeit bei der inversion von rohrzucker durch säuren.Zeitschrift für physikalische Chemie, 4(1):226–248, 1889

    Svante Arrhenius. Über die reaktionsgeschwindigkeit bei der inversion von rohrzucker durch säuren.Zeitschrift für physikalische Chemie, 4(1):226–248, 1889

  11. [12]

    The activated complex in chemical reactions.The Journal of Chemical Physics, 3(2):107–115, 1935

    Henry Eyring. The activated complex in chemical reactions.The Journal of Chemical Physics, 3(2):107–115, 1935

  12. [15]

    R. B. Woodward and Roald Hoffmann. The conservation of orbital symmetry. Angewandte Chemie International Edition in English, 8(11):781–853, 1969. 449 Kyunghoon Han Categorification of Chemical Reactions

  13. [16]

    Woodward and R

    R.B. Woodward and R. Hoffmann. The conservation of orbital symmetry. In The Conservation of Orbital Symmetry, page 37. Elsevier, 1971

  14. [17]

    Calculation of equilibrium constants for isotopic exchange reactions.The Journal of Chemical Physics, 15(5):261–267, 1947

    Jacob Bigeleisen and Maria Goeppert Mayer. Calculation of equilibrium constants for isotopic exchange reactions.The Journal of Chemical Physics, 15(5):261–267, 1947

  15. [18]

    The relative reaction velocities of isotopic molecules.The Journal of Chemical Physics, 17(8):675–678, 1949

    Jacob Bigeleisen. The relative reaction velocities of isotopic molecules.The Journal of Chemical Physics, 17(8):675–678, 1949

  16. [19]

    Ronald eBooks, 1960

    Lars Melander.Isotope effects on reaction rates. Ronald eBooks, 1960

  17. [20]

    V. J. Shiner. Reaction rates of isotopic molecules.BioScience, 31(7):538–538, 1981

  18. [21]

    CRC Press, 2005

    Amnon Kohen and Hans-Heinrich Limbach.Isotope Effects In Chemistry and Biology. CRC Press, 2005

  19. [22]

    M. G. Evans and Michael Polanyi. Some applications of the transition state method to the calculation of reaction velocities, especially in solution.Trans- actions of the Faraday Society, 31:875–875, 1935

  20. [23]

    Laidler, and Henry Eyring.The theory of rate processes : the kinetics of chemical reactions, viscosity, diffusion and electro- chemical phenomena

    Samuel Glasstone, Keith J. Laidler, and Henry Eyring.The theory of rate processes : the kinetics of chemical reactions, viscosity, diffusion and electro- chemical phenomena. McGraw-Hill, 1941

  21. [24]

    F. H. Westheimer. The magnitude of the primary kinetic isotope effect for compounds of hydrogen and deuterium.Chemical Reviews, 61(3):265–273, 1961

  22. [25]

    R. P. Bell.The Tunnel Effect in Chemistry. Springer US, 1980

  23. [27]

    R. W. Schoenlein, L. A. Peteanu, R. A. Mathies, and C. V. Shank. The first step in vision: Femtosecond isomerization of rhodopsin.Science, 254(5030):412–415, 1991

  24. [28]

    Schoenlein, Linda A

    Qing Wang, Robert W. Schoenlein, Linda A. Peteanu, Richard A. Mathies, and Charles V. Shank. Vibrationally coherent photochemistry in the femtosecond primary event of vision.Science, 266(5184):422–424, 1994

  25. [29]

    Spillane, Cristian Manzoni, Daniele Brida, Gaia Tomasello, Giorgio Orlandi, Philipp Kukura, Richard A

    Dario Polli, Piero Altoè, Oliver Weingart, Katelyn M. Spillane, Cristian Manzoni, Daniele Brida, Gaia Tomasello, Giorgio Orlandi, Philipp Kukura, Richard A. Mathies, Marco Garavelli, and Giulio Cerullo. Conical intersec- tion dynamics of the primary photoisomerization event in vision.Nature, 467(7314):440–443, 2010

  26. [30]

    Mikołajczyk, Marek Cypryk, Bartłomiej Gostyński, and Jakub Kowal- czewski

    M. Mikołajczyk, Marek Cypryk, Bartłomiej Gostyński, and Jakub Kowal- czewski. Nucleophilic substitution at heteroatoms—identity substitution reac- tions at phosphorus and sulfur centers: Do they proceed in a concerted (sn2) or stepwise (a–e) way?Molecules, 27(3):599–599, 2022. 450 Kyunghoon Han Categorification of Chemical Reactions

  27. [31]

    Baez and Blake S

    John C. Baez and Blake S. Pollard. A compositional framework for reaction networks.Reviews in Mathematical Physics, 29(09):1750028, 2017

  28. [32]

    Petri nets are monoids.Information and Computation, 88(2):105–155, 1990

    José Meseguer and Ugo Montanari. Petri nets are monoids.Information and Computation, 88(2):105–155, 1990

  29. [34]

    Inverse mapping of quantum properties to structures for chemical space of small organic molecules.Nature Communications, 15(1), 2024

    Alessio Fallani, Leonardo Medrano Sandonas, and Alexandre Tkatchenko. Inverse mapping of quantum properties to structures for chemical space of small organic molecules.Nature Communications, 15(1), 2024

  30. [35]

    Patrick De Kepper and Irving R. Epstein. Mechanistic study of oscillations and bistability in the briggs-rauscher reaction.Journal of the American Chemical Society, 104(1):49–55, 1982

  31. [36]

    Aurora: Modern Math Originals

    Emily Riehl.Category theory in context. Aurora: Modern Math Originals. Dover, 2016

  32. [37]

    Springer, 1971

    Saunders Mac Lane.Categories for the Working Mathematician. Springer, 1971

  33. [38]

    PhD thesis, Institut für Instrumentelle Mathematik, Bonn, 1962

    Carl Adam Petri.Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn, 1962. English translation: Communication with automata, Technical Report RADC-TR-65-377, Rome Air Development Center, New York, 1966

  34. [39]

    Whole-grain petri nets and processes.Journal of the ACM, 70(1):1–58, 2022

    Joachim Kock. Whole-grain petri nets and processes.Journal of the ACM, 70(1):1–58, 2022

  35. [40]

    Category theory in chemistry.Compounds, 3(2):334–335, 2023

    Takashiro Akitsu. Category theory in chemistry.Compounds, 3(2):334–335, 2023

  36. [41]

    Spivak.An Invitation to Applied Category Theory: Seven Sketches in Compositionality

    Brendan Fong and David I. Spivak.An Invitation to Applied Category Theory: Seven Sketches in Compositionality. Cambridge University Press, 2019

  37. [42]

    Chemical reaction network structure and the stability of complex isothermal reactors—i

    Martin Feinberg. Chemical reaction network structure and the stability of complex isothermal reactors—i. the deficiency zero and deficiency one theorems. Chemical Engineering Science, 42(10):2229–2268, 1987

  38. [43]

    Baez and Jade Master

    John C. Baez and Jade Master. Open petri nets.Mathematical Structures in Computer Science, 30(3):314–341, 2020

  39. [44]

    Nist–janaf thermochemical tables for the bromine oxides

    Malcolm W Chase. Nist–janaf thermochemical tables for the bromine oxides. Journal of Physical and Chemical Reference Data, 25(4):1069–1111, 1996

  40. [45]

    Natural associativity and commutativity

    Saunders Mac Lane. Natural associativity and commutativity. InSaunders Mac Lane Selected Papers, pages 415–433. Springer New York, 1979

  41. [46]

    Review of Saunders Mac Lane: A Mathematical Autobiography,

    Colin McLarty. Review of Saunders Mac Lane: A Mathematical Autobiography,

  42. [47]

    451 Kyunghoon Han Categorification of Chemical Reactions

    Review of Mac Lane’s autobiography, published by A K Peters/Oxford University Press. 451 Kyunghoon Han Categorification of Chemical Reactions

  43. [48]

    F. Horn. Necessary and sufficient conditions for complex balancing in chemical kinetics.Archive for Rational Mechanics and Analysis, 49(3):172–186, 1972

  44. [49]

    Anderson and Tung D

    David F. Anderson and Tung D. Nguyen. Prevalence of deficiency-zero reaction networksinanerdös–rényiframework.Journal of Applied Probability, 59(2):384– 398, 2022

  45. [50]

    Existence of positive steady states for weakly reversible mass- action systems.SIAM Journal on Mathematical Analysis, 51(1):435–449, 2019

    Balázs Boros. Existence of positive steady states for weakly reversible mass- action systems.SIAM Journal on Mathematical Analysis, 51(1):435–449, 2019

  46. [51]

    Nguyen, and Anne Shiu

    Badal Joshi, Nidhi Kaihnsa, Tung D. Nguyen, and Anne Shiu. Prevalence of multistationarity and absolute concentration robustness in reaction networks. SIAM Journal on Applied Mathematics, 83(6):2260–2283, 2023

  47. [52]

    Chemical reaction network structure and the stability of complexisothermalreactors—ii.multiplesteadystatesfornetworksofdeficiency one.Chemical Engineering Science, 43(1):1–25, 1988

    Martin Feinberg. Chemical reaction network structure and the stability of complexisothermalreactors—ii.multiplesteadystatesfornetworksofdeficiency one.Chemical Engineering Science, 43(1):1–25, 1988

  48. [53]

    The existence and uniqueness of steady states for a class of chemical reaction networks.Archive for Rational Mechanics and Analysis, 132(4):311–370, 1995

    Martin Feinberg. The existence and uniqueness of steady states for a class of chemical reaction networks.Archive for Rational Mechanics and Analysis, 132(4):311–370, 1995

  49. [54]

    Recherches thermo-chimiques.Bulletin scientifique publié par l’Académie impériale des sciences de Saint-Pétersbourg, 8:257–272, 1840

    Germain Henri Hess. Recherches thermo-chimiques.Bulletin scientifique publié par l’Académie impériale des sciences de Saint-Pétersbourg, 8:257–272, 1840. First statement of the law of constant heat summation (Hess’s Law); reprinted in Annales de chimie et de physique, 3rd ser., vol. 3, pp. 129–150 (1841)

  50. [55]

    Oxford University Press, 2022

    Peter Atkins, Julio de Paula, and James Keeler.Atkins’ Physical Chemistry. Oxford University Press, 2022

  51. [56]

    Cox, Donald D Wagman, and V

    John D. Cox, Donald D Wagman, and V. A. Medvedev.CODATA key values for thermodynamics. Hemisphere Pub. Corp. eBooks, 1989

  52. [57]

    Theodore Frankel and Meinhard E. Mayer. The geometry of physics: An introduction.Physics Today, 51(12):56–57, 1998

  53. [58]

    Soardi.Potential Theory on Infinite Networks

    Paolo M. Soardi.Potential Theory on Infinite Networks. Springer, 1994

  54. [59]

    Hodge laplacians on graphs.SIAM Review, 62(3):685–715, 2020

    Lek-Heng Lim. Hodge laplacians on graphs.SIAM Review, 62(3):685–715, 2020

  55. [60]

    The Royal Society of Chemistry, 2007

    Terry Renner.Quantities, units and symbols in physical chemistry. The Royal Society of Chemistry, 2007

  56. [61]

    Über die Energie der Ionengitter

    Max Born and Fritz Haber. The Born–Haber cycle: lattice energy via ther- mochemical cycle (two companion articles).Verhandlungen der Deutschen Physikalischen Gesellschaft, 21:679–685 and 750–768, 1919. Born (pp. 679–685, received 9 October; “Über die Energie der Ionengitter”) and Haber (pp. 750–768, received 14 November; “Betrachtungen zur Theorie der Wär...

  57. [62]

    ber simultane gleichgewichte und die beziehungen zwischen thermodynamik und reactionskinetik homogener systeme.Monatshefte fr Chemie, 22(8):849–906, 1901

    Rud Wegscheider. ber simultane gleichgewichte und die beziehungen zwischen thermodynamik und reactionskinetik homogener systeme.Monatshefte fr Chemie, 22(8):849–906, 1901. 452 Kyunghoon Han Categorification of Chemical Reactions

  58. [63]

    Reciprocal relations in irreversible processes

    Lars Onsager. Reciprocal relations in irreversible processes. i.Physical Review, 37(4):405–426, 1931

  59. [64]

    Alberty.Thermodynamics of Biochemical Reactions

    Robert A. Alberty.Thermodynamics of Biochemical Reactions. Wiley, 2003

  60. [65]

    Oster, Alan S

    George F. Oster, Alan S. Perelson, and Aharon Katchalsky. Network thermo- dynamics: dynamic modelling of biophysical systems.Quarterly Reviews of Biophysics, 6(1):1–134, 1973

  61. [66]

    Ueber den Durchgang eines elektrischen Stromes durch eine Ebene, insbesondere durch eine kreisförmige.Annalen der Physik und Chemie, 140(4):497–514, 1845

    Gustav Kirchhoff. Ueber den Durchgang eines elektrischen Stromes durch eine Ebene, insbesondere durch eine kreisförmige.Annalen der Physik und Chemie, 140(4):497–514, 1845. First statement of Kirchhoff’s voltage and current laws; volume 140 in the cumulative series, equivalent to series 2, volume 64, in Poggendorff’s Annalen

  62. [67]

    Thermody- namics of aryl-dihydroxyphenyl-thiadiazole binding to human hsp90.PLoS ONE, 7(5):e36899, 2012

    Egidijus Kazlauskas, Vilma Petrikait˙ e, Vilma Michailovien˙ e, Jurgita Revuck- ien˙ e, Jurgita Matulien˙ e, Leonas Grinius, and Daumantas Matulis. Thermody- namics of aryl-dihydroxyphenyl-thiadiazole binding to human hsp90.PLoS ONE, 7(5):e36899, 2012

  63. [68]

    Krishnamurthy, Brooks R

    Vijay M. Krishnamurthy, Brooks R. Bohall, Chu-Young Kim, Demetri T. Mous- takas, David W. Christianson, and George M. Whitesides. Thermodynamic parameters for the association of fluorinated benzenesulfonamides with bovine carbonic anhydrase ii.Chemistry – An Asian Journal, 2(1):94–105, 2006

  64. [69]

    Becker, Joana Smirnovien˙ e, Lud- wig J

    Justina Kazokait˙ e-Adomaitien˙ e, Holger M. Becker, Joana Smirnovien˙ e, Lud- wig J. Dubois, and Daumantas Matulis. Experimental approaches to identify selective picomolar inhibitors for carbonic anhydrase ix.Current Medicinal Chemistry, 28(17):3361–3384, 2020

  65. [70]

    Chodera and David L

    John D. Chodera and David L. Mobley. Entropy-enthalpy compensation: Role and ramifications in biomolecular ligand recognition and design.Annual Review of Biophysics, 42(1):121–142, 2013

  66. [71]

    Do enthalpy and entropy distinguish first in class from best in class?Drug Discovery Today, 13(19-20):869–874, 2008

    Ernesto Freire. Do enthalpy and entropy distinguish first in class from best in class?Drug Discovery Today, 13(19-20):869–874, 2008

  67. [72]

    Ladbury, Gerhard Klebe, and Ernesto Freire

    John E. Ladbury, Gerhard Klebe, and Ernesto Freire. Adding calorimetric data to decision making in lead discovery: a hot tip.Nature Reviews Drug Discovery, 9(1):23–27, 2009

  68. [73]

    Applying thermodynamic profiling in lead finding and opti- mization.Nature Reviews Drug Discovery, 14(2):95–110, 2015

    Gerhard Klebe. Applying thermodynamic profiling in lead finding and opti- mization.Nature Reviews Drug Discovery, 14(2):95–110, 2015

  69. [74]

    Heine, Torsten Steinmetzer, and G

    Adam Biela, Frank Sielaff, Felix Terwesten, A. Heine, Torsten Steinmetzer, and G. Klebe. Ligand binding stepwise disrupts water network in thrombin: Enthalpic and entropic changes reveal classical hydrophobic effect.Journal of Medicinal Chemistry, 55(13):6094–6110, 2012

  70. [75]

    Dagger compact closed categories and completely positive maps

    Peter Selinger. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, 170:139–163, 2007

  71. [76]

    Selinger

    P. Selinger. A survey of graphical languages for monoidal categories. InLecture Notes in Physics, pages 289–355. Springer Berlin Heidelberg, 2010. 453 Kyunghoon Han Categorification of Chemical Reactions

  72. [77]

    Categorical quantum mechanics

    Samson Abramsky and Bob Coecke. Categorical quantum mechanics. In Handbook of Quantum Logic and Quantum Structures, pages 261–323. Elsevier, 2009

  73. [78]

    Barron and A

    Laurence D. Barron and A. David Buckingham. Time reversal and molecular properties.Accounts of Chemical Research, 34(10):781–789, 2001

  74. [79]

    R. M. Krupka, H. Kaplan, and K. J. Laidler. Kinetic consequences of the principle of microscopic reversibility.Transactions of the Faraday Society, 62:2754, 1966

  75. [80]

    Richard C. Tolman. The principle of microscopic reversibility.Proceedings of the National Academy of Sciences, 11(7):436–439, 1925

  76. [81]

    Reversible computation vs

    Kamila Barylska, Maciej Koutny, Łukasz Mikulski, and Marcin Piątkowski. Reversible computation vs. reversibility in petri nets.Science of Computer Programming, 151:48–60, 2017

  77. [82]

    Reversing place transition nets, 2019

    Hernán Melgratti, Claudio Antares Mezzina, and Irek Ulidowski. Reversing place transition nets, 2019

  78. [83]

    Oxford University Press, 2006

    Steve Awodey.Category Theory. Oxford University Press, 2006

  79. [84]

    Cambridge University Press, 2014

    Tom Leinster.Basic Category Theory. Cambridge University Press, 2014

  80. [85]

    Wiley, 2014

    Dilip Kondepudi and Ilya Prigogine.Modern Thermodynamics. Wiley, 2014

Showing first 80 references.