Mario Román

Home

❯

notes

❯

categorical cut elimination

categorical cut-elimination

Jul 24, 20251 min read

References

  • Free Lattices (Whitman, 1941)
  • Free Bicompletion of Enriched Categories (Joyal, 1995)
  • Finite Sum-Product Logic (Cockett, Seely, 2001)
  • Categorical Logic (Shulman, 2016)

Graph View

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

  • GitHub
  • ArXiv
  • OrcID