Skip to content

feat: exponentiable maps are pullback-stable; comp is exponentiable#34

Merged
sinhp merged 4 commits into
masterfrom
dubuc
Oct 13, 2025
Merged

feat: exponentiable maps are pullback-stable; comp is exponentiable#34
sinhp merged 4 commits into
masterfrom
dubuc

composition is exponentiable

56ac18d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar