Category-theoretical structures for Elisp.