Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
pieces
❯
Normal duoidal category
Normal duoidal category
May 08, 2025
1 min read
the normal duoidal category of partial functions
Graph View
Backlinks
Be Careful with Duoidal Coherence
Normal duoidals are isomix
Two-sided duoidal duality
copy-discard normal duoidal category
Duoidal category
Normalization of a duoidal category
duoidal strings - normal duoid in a normal duoidal
Mixing normal duoidals
normal duoidally enriched multicategory
Normalization of a produoidal