Skip to content

Strict monoidal categories are strict categories #2755

Strict monoidal categories are strict categories

Strict monoidal categories are strict categories #2755

Triggered via pull request February 22, 2025 13:06
Status Failure
Total duration 2m 33s
Artifacts

ci-ubuntu.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-cubical
Process completed with exit code 2.