Clarify Cartesian mechanics in 3.1

[ecpeterson]

I got very confused today about how to get formulas out of the simplicial machinery. For example, it might be helpful to include the case where $\mathcal F(s)$ is the identity and to emphasize the adjoint to $\mathcal F(t)$.