Skip to content

Dependent products in categories#634

Open
finegeometer wants to merge 3 commits into
the1lab:mainfrom
finegeometer:dependent-products
Open

Dependent products in categories#634
finegeometer wants to merge 3 commits into
the1lab:mainfrom
finegeometer:dependent-products

defn: dependent products in presheaves

a335d92
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
pr-preview
succeeded Jun 17, 2026 in 7m 13s