Category of epimorphisms and pseudomorphims (online article) updated with several new theorems, corrections of mistakes, and some new concepts.
This article considers an interesting category whose objects are endomorphisms of an arbitrary category with possibly partially ordered morphisms.
It is used for my algebraic theory of formulas. It will be also used in other fields of mathematics.
Recently ||