Victor Porton's Math Weblog

Online article (yet partial) about morphisms (I call these pseudomorphisms) of endomorphisms of a category with partially ordered morphisms (my new theory).

Pseudomorphism f from an endomorphism U to an endomorphism V is defined by formula f U \subseteq V f.

This is a purely categorical generalization of some aspects of my theory of dependencies, the theory of multidimensional relations (considered as generalization of binary relations) with special parameters X and Y. This theory is important for algebraic theory of formulas (expressions).

Read article online: Category of Endomorphisms and Pseudomorphisms.