Categorical algebra for continuum micro physics

DOI10.1016/S0022-4049(02)00138-XMaRDI QIDQ1850105zbMATH OpenFDO

Publication date 2 December 2002

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-4049(02)00138-X

categorical algebra continuum mechanisms generalized monoids geometric morphism lawful motions microphysics microstructure monatomic systems space of solution curves for dynamical systems topos

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25) Differential equations in abstract spaces (34G99) Topos-theoretic approach to differentiable manifolds (58A03) Micromechanical theories (74A60)

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Categorical algebra for continuum micro physics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1850105)