diff --git a/categories.html b/categories.html
index 2ae191e..1292044 100644
--- a/categories.html
+++ b/categories.html
@@ -73,7 +73,7 @@
- Why?
- - About this presentation
+ - General overview
- Math & Abstraction
- Programming & Abstraction
- Categories & Abstraction
@@ -84,7 +84,7 @@
-Category Theory
+Category Theory: High level
- Central position in contemporary mathematics/computer science/physics.
- General mathematical theory of structures and of systems of structures.
@@ -97,36 +97,23 @@
-About this presentation
-
-- A lot of slides, but short with pictures,
-- General Ideas → Definitions → Examples using Haskell,
-- About very fundamental Math, but I'll try not to digress.
-
+
-Category Theory Goal?
-Many different approach about Category Theory:
-
-
-
-What can Category Theory do for us?
+Category Theory for programming?
+
- Ability to see problem differently
-- Ability to abstract at the right level
-- Reduce bugs by separating concepts
+- Make generalisation easier
+- Help code organisation
+- Reduce bugs by clarifying concepts
-What did they already done?
+Example In Haskell:
-- Functors, Applicative Functor, Monads, Arrows
-- Generalize
fold
-- ...
+- Functors
+- Monads
+fold
generalisation
+- Applicative Functors, Arrows, ...
diff --git a/categories/10_Introduction/020_Plan.html b/categories/10_Introduction/020_Plan.html
index 0b3134d..ed68722 100644
--- a/categories/10_Introduction/020_Plan.html
+++ b/categories/10_Introduction/020_Plan.html
@@ -2,7 +2,7 @@