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