Retracing Some Paths in Categorical Semantics: From Process-Propositions-as-Types to Categorified Reals and Computers