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.
Search
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.