Mario Román

Home

❯

notes

❯

pieces

❯

partial function

partial function

May 08, 20251 min read

  • Par is duoidal
  • either-or-both tensor
  • Par is normal duoidal
  • these tensor for bimonoidal categories
  • These tensor on partial maps
  • algebra of partial and copartial
  • Cartesian, partial and stochastic

Graph View

Backlinks

  • Cartesian, partial and stochastic
  • Par has both either or both
  • Par is duoidal
  • Separatedness, discreteness, and comparators
  • These tensor
  • While loops as traces
  • Algebra of partial and copartial
  • copartial functions
  • partial control flow is still not traced
  • partial leaf functions
  • The normal duoidal category of partial functions

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

  • GitHub
  • ArXiv
  • OrcID