Search
❯
Jul 24, 20251 min read
Tags: Indexed category 1, Span, bicategory, Milewski-Vertechi dependent optics