I have developed my little addition to category theory, definition and research of properties of unfixed morphisms.
Unfixed morphisms is a tool for turning a category (with certain extra structure) into a semigroup, that is abstracting away objects.
Currently this research is available in this draft.
I am going to rewrite my online book using unfixed morphisms.
I will add to my book the definition and basic properties of unfixed morphisms. Then I will describe the most basic properties of funcoids and reloids (see my book) necessary to define unfixed funcoids and unfixed reloids. Then I will rewrite my theory of funcoids and reloids into the little more general theory of unfixed funcoids and unfixed reloids.
So I plan to rewrite my entire book.