Тут-то мне карта и поперла

Кажется, я сообразил, как экспериментально реализовать одну забавную моноидальную 2-категорию. Точнее, пока я только знаю как построить простые объекты и их тензорные произведения, но я думаю, что морфизмы и 2-морфизмы не за горами. Причем эксперимент-то - table-top.

Я ж говорил, что скоро 2-категории в лаборатории увидят.