Slices indexed by spansLast updated Feb 3, 2024Tags: Indexed category, Span, bicategory, Milewski-Vertechi dependent optics