Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added a new Properties section to connected object. Including a theorem which is a bit of a hack (where I leave it to others to decide if ’hack’ should be interpreted positively or negatively!).
Thanks. Do we have something to point to for “$\infty$-extensitivity”?
Re-reading this proof (here) that in extensive categories connected objects are equivalently the indecomposables, I didn’t see how its first part proved what it claimed to be proving (I didn’t write this, originally). So I have now expanded/rewritten that first part, adding a tikzcd
-diagram which shows what, I think, the actual argument is.
1 to 5 of 5