Search
❯
Jul 24, 20251 min read
Tags: Pullback, Colimit, Preservation of colimits, From produoidals to prodependence.