Skip to content

finite cauchy-complete categories have filtered colimits => remove re…

0bfae59
Select commit
Loading
Failed to load commit list.
Merged

Add "walking idempotent" and results on Cauchy completeness #33

finite cauchy-complete categories have filtered colimits => remove re…
0bfae59
Select commit
Loading
Failed to load commit list.

There are no checks for this commit