Re: Differential Logic • Discussion 9

Let’s look more closely at the “functor” from to and the connection it makes between real and boolean hierarchies of types.  There’s a detailed discussion of this analogy in the article and section linked below.

• Differential Logic and Dynamic Systems
• The Analogy Between Real and Boolean Types

Assorted types of mathematical objects which turn up in practice often enough to earn themselves common names, along with their common isomorphisms, are shown in the following Table.

cc: Category Theory • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form