nLab LNL polycategory (history)

August 24, 2022