physical duoidal categories are seq-spacial

Last updated Jul 23, 2024

Tags: physical duoidal category.