Victor Porton's Math Weblog

I updated my online article Theory of Dependencies (main updates about morphisms between elements and categories of elements, also about composition of dependencies).

Theory of Dependencies is new theory about multidimensional (multi-argument) relations with two special arguments X and Y. This theory is especially important for axiomatic theory of (infinite) mathematical formulas (expressions).

With the idea of categories of elements we can descent from abstractions to concrete things such as categories related with separate elements.

I expect that this theory will supercede both universal algebra and category theory.