Mario Román

Search

Search IconIcon to open search

physical tensor

Last updated Jun 18, 2024

physical-tensor

This fixes an important error I introduced when mixing normal duoidals: it is not enough to take the colimit over the linear posets, the colimit must be taken over the category of expressible posets.