Mario Román

❯

❯

Slices indexed by spans

Slices indexed by spans

Apr 07, 20261 min read

slices-indexed-by-spans

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

Graph View

Mario Román (2026), CC-BY-SA. Human written, using Quartz and Write.

GitHub
ArXiv
OrcID