Categorical Esoteric Programming Language