2-dimensional Lawvere theories, commutativity, and higher Day convolution perutka_2026arXiv · 2026