pith. sign in

arxiv: 2606.25774 · v1 · pith:UHFGSQJZnew · submitted 2026-06-24 · ⚛️ physics.chem-ph

Category Theoretic Framework for Chemistry I: a Tower of Chemistry

Pith reviewed 2026-06-25 19:14 UTC · model grok-4.3

classification ⚛️ physics.chem-ph
keywords category theoryreaction networksPetri netsstoichiometrythermochemistryreaction kineticsmolecular geometryelectronic structure
0
0 comments X

The pith

Chemical caveats arise because each question exceeds the structure carried by its description, which a tower of categories makes explicit.

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

The paper argues that the separate caveats attached to many chemical laws share a single cause: each caveat appears when a question is posed to a description whose level of structure is too coarse to answer it. To make the levels explicit, it builds a tower of categories over the free symmetric monoidal category of a Petri net, adding one kind of chemical content at each step from stoichiometry through thermochemistry, equilibrium, kinetics, mechanism, geometry, and electronic structure, with forgetful functors running downward. The framework places measurable quantities at the levels where they can be expressed and identifies the content lower levels can record but cannot account for. It demonstrates the method by recasting the deficiency-zero theorem as rigidity of a forgetful fibre and by tracing one reaction through the tower, where it becomes a distinct object at each level.

Core claim

The central discovery is a tower of categories whose successive levels each add one kind of chemical content to the free symmetric monoidal category of a Petri net while forgetful functors run back down; the single running question—what can a level express that the level below cannot—places every measurable quantity at its proper level and accounts for the limited scope of existing chemical laws.

What carries the argument

The tower of categories over the free symmetric monoidal category of a Petri net, with each level adding one kind of chemical content and forgetful functors preserving the relevant interpretations.

If this is right

  • The deficiency-zero theorem is recast as the rigidity of a single forgetful fibre.
  • A reaction such as the Woodward-Hoffmann ring opening becomes a distinct categorical object at each level from stoichiometry to electronic structure.
  • Every measurable quantity is assigned to the level that can both record and account for it.
  • Questions asked of a reaction network belong to richer levels than the descriptions that cannot answer them.

Where Pith is reading between the lines

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

  • The same tower construction could be applied to other domains that already use Petri-net or reaction-network models to organise their own layered caveats.
  • Computational checks could be built that verify whether a given datum is consistent with the level at which it is expressed.
  • The hierarchy supplies a systematic way to decide which features of a reaction must be omitted when only a coarse model is available.

Load-bearing premise

That the chemical content at each successive level can be captured by adding structure to the free symmetric monoidal category of a Petri net in such a way that forgetful functors preserve the relevant chemical interpretations.

What would settle it

A chemical law whose caveat cannot be removed by moving the description to any richer level in the tower, or a forgetful functor that fails to preserve the chemical meaning of an object when structure is added.

read the original abstract

Many laws of chemistry are exact within a limited scope and acquire a separate caveat outside it, and the caveats are usually treated as unrelated. This work argues that they share one cause. Each caveat marks a point where a question is asked of a description too coarse to answer it: the question belongs to a richer level of structure than the description carries. To make these levels explicit, the paper builds a tower of categories over the free symmetric monoidal category of a Petri net, the simplest categorical presentation of a reaction network. The levels, from the bottom up, are stoichiometry, thermochemistry, equilibrium, reaction kinetics, reaction mechanism, molecular geometry, and electronic structure. Each adds one kind of chemical content over the level below, and a forgetful functor runs back down. One question runs through the tower: what can a level express that the level below cannot? Answering it places each measurable quantity at the level where it lives, and identifies the content the levels below could record but not account for. The method is then turned on with two pieces of known chemistry. It recasts a classical criterion for when a reaction network has a unique stable equilibrium, the deficiency-zero theorem, as the rigidity of a single forgetful fibre. It also follows one familiar reaction up the tower: the ring opening that the Woodward-Hoffmann rules govern. At each level, from stoichiometry to electronic structure, the reaction becomes a distinct categorical object.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript constructs a tower of categories beginning from the free symmetric monoidal category of a Petri net (stoichiometry) and successively enriching it with structure for thermochemistry, equilibrium, kinetics, mechanism, geometry, and electronic structure, connected by forgetful functors. It uses the tower to reinterpret the deficiency-zero theorem as rigidity of a single forgetful fibre and to track a Woodward-Hoffmann-governed ring-opening reaction as distinct objects at each level, arguing that limited-scope chemical laws arise from asking questions at a level coarser than the required structure.

Significance. If the functorial constructions and preservation properties hold, the framework supplies a systematic, hierarchical account of why many chemical laws are exact only within limited domains, by locating each measurable quantity at the minimal level that can express it. The categorical organization of known results (deficiency-zero theorem, Woodward-Hoffmann rules) is a clear strength and could guide future model-building; the approach is novel in its explicit use of a tower with forgetful functors to separate recordable from accountable content.

major comments (3)
  1. [Tower construction] Tower construction (levels from stoichiometry to electronic structure): the claim that each enrichment adds precisely the minimal data needed to answer questions unanswerable below, while forgetful functors preserve chemical interpretations, is presented via the functor definitions but lacks explicit verification that the functors commute with the relevant chemical operations or that the added structure is necessary and sufficient. This property is load-bearing for the central thesis that the hierarchy explains the limited scope of laws.
  2. [Deficiency-zero theorem application] Deficiency-zero theorem recasting: the identification of the theorem with fibre rigidity is an illustrative placement of the result within the tower, but the manuscript does not derive the theorem's uniqueness condition from the categorical fibre structure or show that the rigidity is the causal reason for the theorem's scope rather than a rephrasing. This weakens the claim that the framework accounts for the theorem rather than merely classifies it.
  3. [Woodward-Hoffmann application] Woodward-Hoffmann reaction tracking: following the ring-opening reaction up the tower demonstrates that it appears as distinct objects at successive levels, yet the text does not establish that the level mismatch is the cause of the rules' applicability (as opposed to a post-hoc organization of known facts). The application therefore remains classificatory rather than explanatory.
minor comments (2)
  1. [Notation and diagrams] The notation for the successive enrichments and the explicit action of each forgetful functor on objects and morphisms would benefit from additional diagrams or equations to improve readability for readers outside category theory.
  2. [Summary table] A brief comparison table listing which chemical quantities first become expressible at each level would help readers track the hierarchy without reconstructing it from the prose.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the constructive report and the clear identification of load-bearing claims. We address each major comment below, indicating revisions where the manuscript will be strengthened to make the arguments more explicit while preserving the original scope of the work.

read point-by-point responses
  1. Referee: [Tower construction] Tower construction (levels from stoichiometry to electronic structure): the claim that each enrichment adds precisely the minimal data needed to answer questions unanswerable below, while forgetful functors preserve chemical interpretations, is presented via the functor definitions but lacks explicit verification that the functors commute with the relevant chemical operations or that the added structure is necessary and sufficient. This property is load-bearing for the central thesis that the hierarchy explains the limited scope of laws.

    Authors: We agree that explicit verification of commutation and necessity/sufficiency would strengthen the presentation. The definitions in Sections 3–7 are constructed so that each forgetful functor is the identity on the underlying Petri net and adds only the stated chemical data (e.g., the thermochemistry functor adjoins a real-valued energy function compatible with stoichiometry). In revision we will insert a short subsection after the tower definition that checks preservation for the principal operations (addition of reactions, composition of mechanisms, restriction to equilibrium subcategories) and confirms that no superfluous structure is carried. This addresses the load-bearing claim without altering the tower itself. revision: yes

  2. Referee: [Deficiency-zero theorem application] Deficiency-zero theorem recasting: the identification of the theorem with fibre rigidity is an illustrative placement of the result within the tower, but the manuscript does not derive the theorem's uniqueness condition from the categorical fibre structure or show that the rigidity is the causal reason for the theorem's scope rather than a rephrasing. This weakens the claim that the framework accounts for the theorem rather than merely classifies it.

    Authors: The recasting in Section 8 shows that the deficiency-zero condition is exactly the statement that the forgetful functor from the equilibrium category to the thermochemistry category has rigid fibres over the stoichiometric complexes. While we do not re-derive the algebraic proof of the theorem inside the categorical setting, the fibre-rigidity formulation directly supplies the reason the theorem applies only to networks whose equilibrium is fully determined at that level and fails when additional mechanism or geometry data are required. We will revise the section to include a short diagram of the relevant fibre and a sentence clarifying that the categorical condition isolates the precise descriptive level at which uniqueness holds, thereby making the explanatory content explicit. revision: partial

  3. Referee: [Woodward-Hoffmann application] Woodward-Hoffmann reaction tracking: following the ring-opening reaction up the tower demonstrates that it appears as distinct objects at successive levels, yet the text does not establish that the level mismatch is the cause of the rules' applicability (as opposed to a post-hoc organization of known facts). The application therefore remains classificatory rather than explanatory.

    Authors: The example in Section 9 tracks the same reaction as a morphism that becomes distinguishable only once the electronic-structure level supplies the symmetry data required by the Woodward–Hoffmann rules. The lower levels record the reaction but cannot express the selection rule; the mismatch therefore identifies the minimal level at which the question of allowedness is well-posed. We will add one paragraph after the example that states this causal link explicitly: the rules apply precisely because the electronic level is the first at which the relevant conserved quantities (orbital symmetries) exist as morphisms in the category. This moves the argument from classification to an account of scope. revision: partial

Circularity Check

2 steps flagged

Tower construction defines explanatory power by adding precisely the content needed to resolve caveats identified in the premise.

specific steps
  1. self definitional [Abstract]
    "Each caveat marks a point where a question is asked of a description too coarse to answer it: the question belongs to a richer level of structure than the description carries. To make these levels explicit, the paper builds a tower of categories over the free symmetric monoidal category of a Petri net [...] The levels, from the bottom up, are stoichiometry, thermochemistry, equilibrium, reaction kinetics, reaction mechanism, molecular geometry, and electronic structure. Each adds one kind of chemical content over the level below, and a forgetful functor runs back down."

    The premise that caveats arise from coarse descriptions is used to motivate building a tower whose explicit purpose is to add exactly the richer structure needed; the explanatory claim therefore reduces to the definitional act of choosing which content to adjoin at each level.

  2. renaming known result [Abstract]
    "It recasts a classical criterion for when a reaction network has a unique stable equilibrium, the deficiency-zero theorem, as the rigidity of a single forgetful fibre. It also follows one familiar reaction up the tower: the ring opening that the Woodward-Hoffmann rules govern. At each level, from stoichiometry to electronic structure, the reaction becomes a distinct categorical object."

    Known chemical results are re-expressed as properties of the newly defined forgetful functors and objects; the recasting is presented as explanatory placement without additional derivation or external test that the categorical formulation captures more than the original statements.

full rationale

The paper's core argument identifies caveats as arising from insufficient structure and then defines the tower by successively enriching the base category with exactly those missing chemical contents (thermochemistry, equilibrium, etc.), with forgetful functors asserted to preserve interpretations. This makes the claim that the hierarchy accounts for limited-scope laws true by the definitional choice of what each level adds, rather than by independent derivation or verification. The two applications recast known results (deficiency-zero theorem, Woodward-Hoffmann) into the new language but do not test the causal account outside the construction. No self-citations or external uniqueness theorems are invoked, so the circularity is limited to the self-definitional nature of the framework itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Abstract-only; the base is the free symmetric monoidal category of a Petri net (domain assumption). The tower levels and forgetful functors are introduced by the paper without external evidence supplied in the abstract. No numerical free parameters are mentioned.

axioms (2)
  • domain assumption The free symmetric monoidal category of a Petri net is the simplest categorical presentation of a reaction network
    Stated directly in the abstract as the starting point of the tower.
  • ad hoc to paper Each successive level of chemical content can be added via a functor that admits a forgetful functor back to the level below
    The paper constructs the tower with this property; no independent justification is given in the abstract.
invented entities (1)
  • Tower of categories from stoichiometry to electronic structure no independent evidence
    purpose: To make explicit the structural richness required at each level of chemical description
    New structure proposed by the paper; no independent evidence supplied in the abstract.

pith-pipeline@v0.9.1-grok · 5782 in / 1515 out tokens · 24750 ms · 2026-06-25T19:14:52.447017+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

58 extracted references · 1 linked inside Pith

  1. [1]

    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

  2. [2]

    On the equilibrium of heterogeneous substances.American journal of science, 3(96):441–458, 1878

    Josiah Willard Gibbs. On the equilibrium of heterogeneous substances.American journal of science, 3(96):441–458, 1878

  3. [3]

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

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

  4. [4]

    Über simultane gleichgewichte und die beziehungen zwischen thermodynamik und reaktionskinetik homogener systeme.Zeitschrift für physikalische Chemie, 39(1):257–303, 1902

    Rud Wegscheider. Über simultane gleichgewichte und die beziehungen zwischen thermodynamik und reaktionskinetik homogener systeme.Zeitschrift für physikalische Chemie, 39(1):257–303, 1902

  5. [5]

    Anefficientcharacterizationofcomplex-balanced, detailed-balanced, and weakly reversible systems.SIAM Journal on Applied Mathematics, 80(1):183–205, 2020

    GheorgheCraciun, JiaxinJin, andPollyYYu. Anefficientcharacterizationofcomplex-balanced, detailed-balanced, and weakly reversible systems.SIAM Journal on Applied Mathematics, 80(1):183–205, 2020

  6. [6]

    Stereochemistry of electrocyclic reactions.Journal of the American Chemical Society, 87(2):395–397, 1965

    Robert B Woodward and Roald Hoffmann. Stereochemistry of electrocyclic reactions.Journal of the American Chemical Society, 87(2):395–397, 1965

  7. [7]

    The conservation of orbital symmetry.Ange- wandte Chemie International Edition in English, 8(11):781–853, 1969

    Robert Burns Woodward and Roald Hoffmann. The conservation of orbital symmetry.Ange- wandte Chemie International Edition in English, 8(11):781–853, 1969

  8. [8]

    Toward a topological classification of nonadiabaticity in chemical reactions.Chemistry of Materials, 36(8):3479–3489, 2024

    Christopher Daggett, Kaijie Yang, Chao-Xing Liu, and Lukas Muechler. Toward a topological classification of nonadiabaticity in chemical reactions.Chemistry of Materials, 36(8):3479–3489, 2024

  9. [9]

    The intersection of potential energy surfaces in polyatomic molecules.Proceedings of the Royal Society of London

    Hugh Christopher Longuet-Higgins. The intersection of potential energy surfaces in polyatomic molecules.Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 344(1637):147–156, 1975. 30

  10. [10]

    Observation of the geometric phase effect in the H + HD→ H2 + D reaction below the conical intersection.Nature communications, 11(1):3640, 2020

    Daofu Yuan, Yin Huang, Wentao Chen, Hailin Zhao, Shengrui Yu, Chang Luo, Yuxin Tan, Siwen Wang, Xingan Wang, Zhigang Sun, et al. Observation of the geometric phase effect in the H + HD→ H2 + D reaction below the conical intersection.Nature communications, 11(1):3640, 2020

  11. [11]

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

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

  12. [12]

    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

  13. [13]

    A compositional framework for reaction networks.Reviews in Mathematical Physics, 29(09):1750028, 2017

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

  14. [14]

    PhD thesis, University of Oxford, 2016

    Brendan Fong.The Algebra of Open and Interconnected Systems. PhD thesis, University of Oxford, 2016

  15. [15]

    Baez and Kenny Courser

    John C. Baez and Kenny Courser. Structured cospans.Theory and Applications of Categories, 35(48):1771–1822, 2020

  16. [16]

    Open petri nets.Mathematical Structures in Computer Science, 30(3):314–341, 2020

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

  17. [17]

    Adhesive and quasiadhesive categories.RAIRO-Theoretical Informatics and Applications, 39(3):511–545, 2005

    Stephen Lack and Paweł Sobociński. Adhesive and quasiadhesive categories.RAIRO-Theoretical Informatics and Applications, 39(3):511–545, 2005

  18. [18]

    Categorification of chemical reactions: A bottom-up tower from stoichiometry to quantum structure, 2026

    Kyunghoon Han. Categorification of chemical reactions: A bottom-up tower from stoichiometry to quantum structure, 2026. arXiv:2605.14974

  19. [19]

    General mass action kinetics.Archive for rational mechanics and analysis, 47(2):81–116, 1972

    Fritz Horn and Roy Jackson. General mass action kinetics.Archive for rational mechanics and analysis, 47(2):81–116, 1972

  20. [20]

    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

  21. [21]

    Springer, New York, 1978

    Saunders Mac Lane.Categories for the Working Mathematician, volume 5 ofGraduate Texts in Mathematics. Springer, New York, 1978

  22. [22]

    Cambridge University Press, 2014

    Tom Leinster.Basic Category Theory, volume 143 ofCambridge Studies in Advanced Mathe- matics. Cambridge University Press, 2014

  23. [23]

    Solutions of ordinary differential equations as limits of pure jump markov processes.Journal of applied Probability, 7(1):49–58, 1970

    Thomas G Kurtz. Solutions of ordinary differential equations as limits of pure jump markov processes.Journal of applied Probability, 7(1):49–58, 1970

  24. [24]

    The relationship between stochastic and deterministic models for chemical reactions.The Journal of Chemical Physics, 57(7):2976–2978, 1972

    Thomas G Kurtz. The relationship between stochastic and deterministic models for chemical reactions.The Journal of Chemical Physics, 57(7):2976–2978, 1972

  25. [25]

    Product-form stationary distributions for deficiency zero chemical reaction networks.Bulletin of mathematical biology, 72(8):1947–1970, 2010

    David F Anderson, Gheorghe Craciun, and Thomas G Kurtz. Product-form stationary distributions for deficiency zero chemical reaction networks.Bulletin of mathematical biology, 72(8):1947–1970, 2010

  26. [26]

    Graph-grammars: An algebraic approach

    Hartmut Ehrig, Michael Pfender, and Hans Jürgen Schneider. Graph-grammars: An algebraic approach. In14th Annual symposium on switching and automata theory (swat 1973), pages 167–180. IEEE, 1973

  27. [27]

    Zur Quantentheorie der Molekeln.Annalen der Physik, 389(20):457–484, 1927

    Max Born and Robert Oppenheimer. Zur Quantentheorie der Molekeln.Annalen der Physik, 389(20):457–484, 1927

  28. [28]

    Alexander Van Hook, and Piotr Paneth.Isotope Effects in the Chemical, Geological, and Bio Sciences

    Max Wolfsberg, W. Alexander Van Hook, and Piotr Paneth.Isotope Effects in the Chemical, Geological, and Bio Sciences. Springer, 2009

  29. [29]

    Springer, 1966

    Tosio Kato.Perturbation Theory for Linear Operators, volume 132 ofGrundlehren der mathematischen Wissenschaften. Springer, 1966

  30. [30]

    The intersection of potential energy surfaces in polyatomic molecules.Proceedings of the Royal Society of London

    Hugh Christopher Longuet-Higgins. The intersection of potential energy surfaces in polyatomic molecules.Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 344(1637):147–156, 1975. 31

  31. [31]

    Mayer, L.S

    M. Mayer, L.S. Cederbaum, and H Köppel. Rovibronic coupling in the Na3 B system.The Journal of chemical physics, 104(22):8932–8942, 1996

  32. [32]

    A pseudo-jahn-teller treatment of the B system of Na3.Zeitschrift für Physik D Atoms, Molecules and Clusters, 19(4):63–66, 1991

    R Meiswinkel and H Köppel. A pseudo-jahn-teller treatment of the B system of Na3.Zeitschrift für Physik D Atoms, Molecules and Clusters, 19(4):63–66, 1991

  33. [33]

    Quantal phase factors accompanying adiabatic changes.Proceedings of the Royal Society of London

    Michael Victor Berry. Quantal phase factors accompanying adiabatic changes.Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 392(1802):45–57, 1984

  34. [34]

    Holonomy, the quantum adiabatic theorem, and berry’s phase.Phys

    Barry Simon. Holonomy, the quantum adiabatic theorem, and berry’s phase.Phys. Rev. Lett., 51:2167–2170, Dec 1983

  35. [35]

    Alden Mead and Donald G

    C. Alden Mead and Donald G. Truhlar. On the determination of born–oppenheimer nuclear motion wave functions including complications due to conical intersections and identical nuclei. The Journal of Chemical Physics, 70(5):2284–2296, 03 1979

  36. [36]

    Space-adiabatic perturbation theory

    Gianluca Panati, Herbert Spohn, and Stefan Teufel. Space-adiabatic perturbation theory. Advances in Theoretical and Mathematical Physics, 7(1):145–204, 2003

  37. [37]

    Stiefel– whitney classes and topological phases in band theory.Chinese Physics B, 28(11):117101, 2019

    Junyeong Ahn, Sungjoon Park, Dongwook Kim, Youngkuk Kim, and Bohm-Jung Yang. Stiefel– whitney classes and topological phases in band theory.Chinese Physics B, 28(11):117101, 2019

  38. [38]

    Role of conical intersections in molecular spectroscopy and photoinduced chemical dynamics.Annual review of physical chemistry, 63(1):325–352, 2012

    Wolfgang Domcke and David R Yarkony. Role of conical intersections in molecular spectroscopy and photoinduced chemical dynamics.Annual review of physical chemistry, 63(1):325–352, 2012

  39. [39]

    Russel Bowers and Daniel P

    C. Russel Bowers and Daniel P. Weitekamp. Transformation of symmetrization order to nuclear-spin magnetization by chemical reaction and nuclear magnetic resonance.Physical Review Letters, 57(21):2645, 1986

  40. [40]

    Russel Bowers and Daniel P

    C. Russel Bowers and Daniel P. Weitekamp. Parahydrogen and synthesis allow dramatically enhanced nuclear alignment.Journal of the American Chemical Society, 109(18):5541–5542, 1987

  41. [41]

    R. W. Adams, J. A. Aguilar, K. D. Atkinson, M. J. Cowley, P. I. P. Elliott, S. B. Duckett, G. G. R. Green, I. G. Khazal, J. López-Serrano, and D. C. Williamson. Reversible interactions with para-hydrogen enhance nmr sensitivity by polarization transfer.Science, 323(5922):1708– 1711, 2009

  42. [42]

    K. F. Bonhoeffer and P. Harteck. Über para- und orthowasserstoff.Zeitschrift für Physikalische Chemie, 5(1), 1929

  43. [43]

    R. G. Woolley. Must a molecule have a shape?Journal of the American Chemical Society, 100(4):1073–1078, 1978

  44. [44]

    A. Amann. Chirality: A superselection rule generated by the molecular environment?Journal of Mathematical Chemistry, 6(1):1–15, 1991

  45. [45]

    Conformational analysis of 1, 3-butadiene.Journal of the American Chemical Society, 95(19):6370–6375, 1973

    Robert L Lipnick and Edgar W Garbisch. Conformational analysis of 1, 3-butadiene.Journal of the American Chemical Society, 95(19):6370–6375, 1973

  46. [46]

    Baraban, Marie-Aline Martin-Drumel, P

    Joshua H. Baraban, Marie-Aline Martin-Drumel, P. Bryan Changala, Sandra Eibenberger, Matthew Nava, David Patterson, John F. Stanton, G. Barney Ellison, and Michael C. McCarthy. The molecular structure of gauche-1,3-butadiene: Experimental establishment of non-planarity. Angewandte Chemie International Edition, 57(7):1821–1825, 2018

  47. [47]

    Heats of formation of C4H6 hydrocarbons.Journal of the American Chemical Society, 90(13):3395–3397, 1968

    Kenneth B Wiberg and Richard A Fenoglio. Heats of formation of C4H6 hydrocarbons.Journal of the American Chemical Society, 90(13):3395–3397, 1968

  48. [48]

    Heats of formation and combustion of 1, 3-butadiene and styrene.Journal of Research of the National Bureau of Standards, 34(1):59, 1945

    Edward J Prosen and Frederick D Rossini. Heats of formation and combustion of 1, 3-butadiene and styrene.Journal of Research of the National Bureau of Standards, 34(1):59, 1945

  49. [49]

    Paola Nava and Yannick Carissan. On the ring-opening of substituted cyclobutene to benzocy- clobutene: analysis of π delocalization, hyperconjugation, and ring strain.Physical Chemistry Chemical Physics, 16(30):16196–16203, 2014. 32

  50. [50]

    Strain energy of small ring hydrocarbons

    Robert D Bach and Olga Dmitrenko. Strain energy of small ring hydrocarbons. influence of c- h bond dissociation energies.Journal of the American Chemical Society, 126(13):4444–4452, 2004

  51. [51]

    Philip W Mui and Ernest Grunwald. Thermodynamics of conformational change in 1, 3- butadiene studied by high-temperature ultraviolet absorption spectroscopy.Journal of the American Chemical Society, 104(24):6562–6566, 1982

  52. [52]

    The thermal isomerization of cyclobutene1, 2.Journal of the American Chemical Society, 80(16):4220–4224, 1958

    Walter Cooper and WD Walters. The thermal isomerization of cyclobutene1, 2.Journal of the American Chemical Society, 80(16):4220–4224, 1958

  53. [53]

    Energies of alternate electrocyclic pathways

    John I Brauman and William C Archie Jr. Energies of alternate electrocyclic pathways. pyrolysis of cis-3, 4-dimethylcyclobutene.Journal of the American Chemical Society, 94(12):4262–4265, 1972

  54. [54]

    allowed” and “forbidden

    Barry K Carpenter. An argument for abandoning the “allowed” and “forbidden” classification of electrocyclic reactions.Chemical Science, 16(10):4264–4278, 2025

  55. [55]

    William R Dolbier, Henryk Koroniak, KN Houk, and Chimin Sheu. Electronic control of stereoselectivitiesofelectrocyclicreactionsofcyclobutenes: atriumphoftheoryintheprediction of organic reactions.Accounts of chemical research, 29(10):471–477, 1996

  56. [56]

    John E Baldwin, V Prakash Reddy, Lawrence J Schaad, and B Andes Hess. Diastereotopically distinct secondary deuterium kinetic isotope effects on the thermal isomerization of cyclobutene to butadiene.Journal of the American Chemical Society, 110(25):8555–8556, 1988

  57. [57]

    Storer, Laura Raimondi, and K

    Joey W. Storer, Laura Raimondi, and K. N. Houk. Theoretical secondary kinetic isotope effects and the interpretation of transition state geometries. 2. the diels-alder reaction transition state geometry.Journal of the American Chemical Society, 116(21):9675–9683, 1994

  58. [58]

    Leigh, J

    William J. Leigh, J. Alberto Postigo, and K.C. Zheng. Cyclobutene photochemistry. adiabatic photochemical ring opening of alkylcyclobutenes.Canadian Journal of Chemistry, 74(6):951– 964, 1996. 33