This unprecedented book offers all the details of the mathematical mechanics underlying modern modeling of skeletal muscle contraction. The aim is to provide an integrated vision of mathematics, physics, chemistry and biology for this one understanding. The method is to take advantage of latest mathematical technologies -- Eilenberg-Mac Lane category theory, Robinson infinitesimal calculus and Kolmogorov probability theory -- to explicate Particle Mechanics, The Theory of Substances (categorical thermodynamics), and computer simulation using a diagram-based parallel programming language...