Mario Román

Home

❯

notes

❯

pieces

❯

Normal duoidal category

Normal duoidal category

May 20, 20251 min read

  • duoidal normalization
  • the normal duoidal category of partial functions
  • copy-discard normal duoidal category

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 distributive signature
  • normal duoidally enriched multicategory
  • Normalization of a produoidal
  • The normal duoidal category of partial functions

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID