2017

**Keywords**:

**Category**-
**Monad**=**Monoid**+**Endofunctor**

**Category Theory** is replacing **Set Theory** as the foundation of Math. Nowadays, few Advanced Math papers are written without using Category to explain, and this trend is spreading to IT through Functional Programming languages (** Google’s Kotlin, Haskell, Clojure**…) - the latest paradigm to replace Object-Oriented languages like Java, C++, etc, as a safer “Strong

**Typed**” languages for AI, BIG DATA…

$latex boxed {text {Type = Category }}&fg=aa0000&s=3$

**Examples of “Types” in IT:**

- Integers
- Real
- Double
- Boolean
- String
- etc