New concept in category theory: “unfixed morphisms”

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 […]