Slices indexed by spans

Last updated Sep 8, 2023

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