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.