Skip to content

defn: final functors induce equivalence of cocone categories#639

Merged
plt-amy merged 3 commits into
the1lab:mainfrom
ncfavier:final-functor-cocones
Jul 15, 2026
Merged

defn: final functors induce equivalence of cocone categories#639
plt-amy merged 3 commits into
the1lab:mainfrom
ncfavier:final-functor-cocones

defn: final functors induce equivalence of cocone categories

89d30e5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 15, 2026 in 7m 26s