Skip to content

chore: Use isomorphism of displayed precategories to make paths

8847e3a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Comonoids, duality, and related displayed tech #584

chore: Use isomorphism of displayed precategories to make paths
8847e3a
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build
succeeded Apr 22, 2026 in 4m 57s