Commit 2025-07-31 19:24 7bb69e9c
View on Github →feat: basic translations between X →o Y and X ⥤ Y (#26415)
Adds basic definitions translating between X →o Y and X ⥤ Y where X and Y are regarded as Preorder categories.
feat: basic translations between X →o Y and X ⥤ Y (#26415)
Adds basic definitions translating between X →o Y and X ⥤ Y where X and Y are regarded as Preorder categories.