Discussion moved to its own proposition.
Minor changes.
Started to work on Preliminaries.
Preliminaries - category theory.