nLab codescent object (history)

May 1, 2026

May 3, 2021