Skip to content
Post PR summary comment

feat: sufficient condition for a presheaf to preserve finite limits #26836

Sign in to view logs

feat: sufficient condition for a presheaf to preserve finite limits

feat: sufficient condition for a presheaf to preserve finite limits #26836

Triggered via pull request October 28, 2024 06:39
@TwoFXTwoFX
synchronize #18283
finite-colimits-of-filtered
Status Success
Total duration 50s
Artifacts –

PR_summary.yml

on: pull_request
build
41s
build
Fit to window
Zoom out
Zoom in