https://123dok.net/document/q054rwxx-primitive-recursive-categories-and-machines.html