Skip to content
Ubuntu build

Express universal properties of algebraic constructions in terms of representable presheaves #2073

Sign in to view logs

Express universal properties of algebraic constructions in terms of representable presheaves

Express universal properties of algebraic constructions in terms of representable presheaves #2073

Triggered via pull request August 25, 2023 16:28
@MatthiasHuMatthiasHu
opened #1036
MatthiasHu:represented-functors-of-algebra-constructions
Status Success
Total duration 3m 7s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-cubical
2m 57s
test-cubical
Fit to window
Zoom out
Zoom in