Skip to content

Merge branch 'bicategory-functorcategory-pseudofunctor' into pseudo-eval #22

Merge branch 'bicategory-functorcategory-pseudofunctor' into pseudo-eval

Merge branch 'bicategory-functorcategory-pseudofunctor' into pseudo-eval #22

Triggered via push December 3, 2025 23:21
Status Skipped
Total duration 2s
Artifacts
Add topic label
0s
Add topic label
Fit to window
Zoom out
Zoom in