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 →
Categorification of Chemical Reactions: a bottom-up tower from stoichiometry to quantum structure
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
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.
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
- 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.
Referee Report
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)
- [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.
- [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.
- [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
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
-
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
-
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
-
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
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
axioms (2)
- domain assumption Chemical reactions form categories in which indistinguishability of distinct reactions is captured by automorphisms.
- ad hoc to paper The minimal resolving extension at each level is given by a non-trivial cokernel in the automorphism exact sequence.
invented entities (1)
-
Nine-level categorical tower
no independent evidence
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
Forward citations
Cited by 1 Pith paper
-
Category Theoretic Framework for Chemistry I: a Tower of Chemistry
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
-
[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]
Germain henrihess andthe foundations ofthermochemistry
Henry M.Leicester. Germain henrihess andthe foundations ofthermochemistry. Journal of Chemical Education, 28(11):581, 1951
work page 1951
-
[3]
Peter Atkins, George Ratcliffe, Mark Wormald, and Julio de Paula.Physical Chemistry for the Life Sciences. Oxford University Press, 2023
work page 2023
-
[4]
Gilbert N. Lewis. A new principle of equilibrium.Proceedings of the National Academy of Sciences, 11(3):179–183, 1925
work page 1925
-
[6]
E. U. Condon. The principles of statistical mechanics.Journal of Applied Physics, 10(10):691–692, 1939
work page 1939
-
[7]
Udo Seifert. Stochastic thermodynamics, fluctuation theorems and molecular machines.Reports on Progress in Physics, 75(12):126001, 2012
work page 2012
-
[8]
F. Horn and R. Jackson. General mass action kinetics.Archive for Rational Mechanics and Analysis, 47(2):81–116, 1972
work page 1972
-
[9]
Martin Feinberg. Necessary and sufficient conditions for detailed balancing in mass action systems of arbitrary complexity.Chemical Engineering Science, 44(9):1819–1827, 1989
work page 1989
-
[10]
Springer International Publishing, 2019
Martin Feinberg.Foundations of Chemical Reaction Network Theory. Springer International Publishing, 2019
work page 2019
-
[11]
Svante Arrhenius. Über die reaktionsgeschwindigkeit bei der inversion von rohrzucker durch säuren.Zeitschrift für physikalische Chemie, 4(1):226–248, 1889
-
[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
work page 1935
-
[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
work page 1969
-
[16]
R.B. Woodward and R. Hoffmann. The conservation of orbital symmetry. In The Conservation of Orbital Symmetry, page 37. Elsevier, 1971
work page 1971
-
[17]
Jacob Bigeleisen and Maria Goeppert Mayer. Calculation of equilibrium constants for isotopic exchange reactions.The Journal of Chemical Physics, 15(5):261–267, 1947
work page 1947
-
[18]
Jacob Bigeleisen. The relative reaction velocities of isotopic molecules.The Journal of Chemical Physics, 17(8):675–678, 1949
work page 1949
-
[19]
Lars Melander.Isotope effects on reaction rates. Ronald eBooks, 1960
work page 1960
-
[20]
V. J. Shiner. Reaction rates of isotopic molecules.BioScience, 31(7):538–538, 1981
work page 1981
-
[21]
Amnon Kohen and Hans-Heinrich Limbach.Isotope Effects In Chemistry and Biology. CRC Press, 2005
work page 2005
-
[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
work page 1935
-
[23]
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
work page 1941
-
[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
work page 1961
-
[25]
R. P. Bell.The Tunnel Effect in Chemistry. Springer US, 1980
work page 1980
-
[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
work page 1991
-
[28]
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
work page 1994
-
[29]
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
work page 2010
-
[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
work page 2022
-
[31]
John C. Baez and Blake S. Pollard. A compositional framework for reaction networks.Reviews in Mathematical Physics, 29(09):1750028, 2017
work page 2017
-
[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
work page 1990
-
[34]
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
work page 2024
-
[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
work page 1982
-
[36]
Emily Riehl.Category theory in context. Aurora: Modern Math Originals. Dover, 2016
work page 2016
-
[37]
Saunders Mac Lane.Categories for the Working Mathematician. Springer, 1971
work page 1971
-
[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
work page 1962
-
[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
work page 2022
-
[40]
Category theory in chemistry.Compounds, 3(2):334–335, 2023
Takashiro Akitsu. Category theory in chemistry.Compounds, 3(2):334–335, 2023
work page 2023
-
[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
work page 2019
-
[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
work page 1987
-
[43]
John C. Baez and Jade Master. Open petri nets.Mathematical Structures in Computer Science, 30(3):314–341, 2020
work page 2020
-
[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
work page 1996
-
[45]
Natural associativity and commutativity
Saunders Mac Lane. Natural associativity and commutativity. InSaunders Mac Lane Selected Papers, pages 415–433. Springer New York, 1979
work page 1979
-
[46]
Review of Saunders Mac Lane: A Mathematical Autobiography,
Colin McLarty. Review of Saunders Mac Lane: A Mathematical Autobiography,
-
[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
-
[48]
F. Horn. Necessary and sufficient conditions for complex balancing in chemical kinetics.Archive for Rational Mechanics and Analysis, 49(3):172–186, 1972
work page 1972
-
[49]
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
work page 2022
-
[50]
Balázs Boros. Existence of positive steady states for weakly reversible mass- action systems.SIAM Journal on Mathematical Analysis, 51(1):435–449, 2019
work page 2019
-
[51]
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
work page 2023
-
[52]
Martin Feinberg. Chemical reaction network structure and the stability of complexisothermalreactors—ii.multiplesteadystatesfornetworksofdeficiency one.Chemical Engineering Science, 43(1):1–25, 1988
work page 1988
-
[53]
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
work page 1995
-
[54]
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)
-
[55]
Peter Atkins, Julio de Paula, and James Keeler.Atkins’ Physical Chemistry. Oxford University Press, 2022
work page 2022
-
[56]
John D. Cox, Donald D Wagman, and V. A. Medvedev.CODATA key values for thermodynamics. Hemisphere Pub. Corp. eBooks, 1989
work page 1989
-
[57]
Theodore Frankel and Meinhard E. Mayer. The geometry of physics: An introduction.Physics Today, 51(12):56–57, 1998
work page 1998
-
[58]
Soardi.Potential Theory on Infinite Networks
Paolo M. Soardi.Potential Theory on Infinite Networks. Springer, 1994
work page 1994
-
[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
work page 2020
-
[60]
The Royal Society of Chemistry, 2007
Terry Renner.Quantities, units and symbols in physical chemistry. The Royal Society of Chemistry, 2007
work page 2007
-
[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...
work page 1919
-
[62]
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
work page 1901
-
[63]
Reciprocal relations in irreversible processes
Lars Onsager. Reciprocal relations in irreversible processes. i.Physical Review, 37(4):405–426, 1931
work page 1931
-
[64]
Alberty.Thermodynamics of Biochemical Reactions
Robert A. Alberty.Thermodynamics of Biochemical Reactions. Wiley, 2003
work page 2003
-
[65]
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
work page 1973
-
[66]
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
-
[67]
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
work page 2012
-
[68]
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
work page 2006
-
[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
work page 2020
-
[70]
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
work page 2013
-
[71]
Ernesto Freire. Do enthalpy and entropy distinguish first in class from best in class?Drug Discovery Today, 13(19-20):869–874, 2008
work page 2008
-
[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
work page 2009
-
[73]
Gerhard Klebe. Applying thermodynamic profiling in lead finding and opti- mization.Nature Reviews Drug Discovery, 14(2):95–110, 2015
work page 2015
-
[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
work page 2012
-
[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
work page 2007
- [76]
-
[77]
Samson Abramsky and Bob Coecke. Categorical quantum mechanics. In Handbook of Quantum Logic and Quantum Structures, pages 261–323. Elsevier, 2009
work page 2009
-
[78]
Laurence D. Barron and A. David Buckingham. Time reversal and molecular properties.Accounts of Chemical Research, 34(10):781–789, 2001
work page 2001
-
[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
work page 1966
-
[80]
Richard C. Tolman. The principle of microscopic reversibility.Proceedings of the National Academy of Sciences, 11(7):436–439, 1925
work page 1925
-
[81]
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
work page 2017
-
[82]
Reversing place transition nets, 2019
Hernán Melgratti, Claudio Antares Mezzina, and Irek Ulidowski. Reversing place transition nets, 2019
work page 2019
-
[83]
Steve Awodey.Category Theory. Oxford University Press, 2006
work page 2006
-
[84]
Cambridge University Press, 2014
Tom Leinster.Basic Category Theory. Cambridge University Press, 2014
work page 2014
- [85]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.