# 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.
• CommentAuthorUrs
• CommentTimeOct 12th 2021

some bare minimum on the free coproduct cocompletion.

The term used to redirect to the entry free cartesian category, where however the simple idea of free coproduct completion wasn’t really brought out.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeOct 12th 2021
• (edited Oct 12th 2021)

added (here) the example of $G Set$ as the free coproduct completion of $G Orbt$.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeOct 12th 2021

added (here) statement of Lemma 42 in: