Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorTodd_Trimble
• CommentTimeNov 26th 2011

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!).

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeNov 28th 2011

Thanks. Do we have something to point to for “$\infty$-extensitivity”?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeOct 13th 2021

In the proof here that in extensive categories connected objects are primitive with respect to coproducts, I have added cross-pointers to the properties of extensive categories that are being used.

Also I adjusted the wording of the proof a little, for streamlining.