Categorical structures for higher-dimensional universal algebra - Bourke, John (2021)