Categorical algebra for continuum micro physics (Q1850105): Difference between revisions

The paper consists of four parts. In part I, the author tries to clarify the idea of lawful motions as morphisms in a category whose objects are laws of motion on state spaces. The main result goes as follows: Suppose \(\sigma_{-1}, \sigma_0, \sigma_1\) are data that present a homomorphism \(M_\beta \to M_\gamma\) of generalized monoids, where \(A_0 @>\alpha>> A\) and \(C_0 @>\gamma >> C\) with \(A_0\), \(C_0\) ATOs, and \(I\) any ATO, and where \(\beta=\alpha \times I\). Then the composite functor \[ \begin{matrix} {\mathcal E}^\gamma & \longrightarrow & {\mathcal E}^\alpha\\ \sigma^* \searrow && \nearrow (\cdot)I\\& {\mathcal E}^\beta \end{matrix} \] has a left adjoint. Hence, given an object \(U\) in \({\mathcal E}^\alpha\) whose underlying space is deemed to represent a notion of path or process, one obtains, by applying the left adjoint, a space \(\sigma_!(I\cdot U)\) with a \(\gamma\)-law representing the functor ``space of solution curves for \(\gamma\)-dynamical systems'' \({\mathcal E}^\gamma \to{\mathcal E}^\alpha @>(U,_-)>> {\mathcal E}\). In part II, the author tries to develop specific relations between states, bodies and particles. The main result of this part goes as follows: The \(A\)-monatomic systems of order \(\tau\) in a base topos \({\mathcal E}\) form themselves a topos, defined over the base topos \({\mathcal S}\) of spaces which are both \(T\)-discrete and \(A\)-discrete, and receiving a ``surjective'' \({\mathcal S}\)-essential geometric morphism from \({\mathcal E}\). In part III, the author studies a special notion of a body having just one point of rich microstructure. The last part is devoted to homogeneous and quadratic examples. The paper is highly suggestive, but it will take a long way to solidify his ideas.