Skip to content

rename yo-yo-yo => yonedaToElement, no-no-no => elementToYoneda

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

Split Yoneda embedding into separate module and rename helper functions #1299

rename yo-yo-yo => yonedaToElement, no-no-no => elementToYoneda
5ea11dc
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
test-cubical
succeeded Mar 13, 2026 in 41m 34s