Slices indexed by spans

Last updated Feb 3, 2024

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