Mario Román

Home

❯

notes

❯

pieces

❯

Slices indexed by spans

Slices indexed by spans

May 30, 20251 min read

slices-indexed-by-spans

Tags: Indexed category 1, Span, bicategory, Milewski-Vertechi dependent optics


Graph View

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

  • GitHub
  • ArXiv
  • OrcID