Search
❯
Feb 02, 20261 min read
Tags: Pullback, Colimit, Preservation of colimits, From produoidals to prodependence.