## Differential Logic • Discussion 11

Let’s look more closely at the “functor” from $\mathbb{R}$ to $\mathbb{B}$ 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.

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.

$\text{Table 3.} ~~ \text{Analogy Between Real and Boolean Types}$

### 2 Responses to Differential Logic • Discussion 11

This site uses Akismet to reduce spam. Learn how your comment data is processed.