Victor Porton's Math Weblog

I have shown that a category (from category theory) can be represented as a pair of a ternary relation and a partial binary operation. This is a possible way of algebraization of category theory. See here.

Note that I use my definition of category with multiple sources and destinations.