← back to paper

Review history

arxiv: 2604.22370 · 2 revisions

Presheaves and cocompletions in formal category theory

1. 2026-08-02 ACCEPT MODERATE v1.3.0-alltime-deepseek novelty 7.0
   176742 ms 65554 in 16468 out 2026-08-02T15:34:06.424955+00:00
2. 2026-05-08 UNVERDICTED LOW v0.9.0 novelty 7.0
   42517 ms 5433 in 1256 out 2026-05-08T08:50:08.367805+00:00