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

Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJul 19th 2014
• (edited Jul 19th 2014)

needed to point to restricted product, so I created a bare (and unsophisticated) minimum

• CommentRowNumber2.
• CommentAuthorTobyBartels
• CommentTimeJul 20th 2014

I linked weak direct product (which is a special case).

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJul 20th 2014
• (edited Jul 20th 2014)

Thanks By the way currently the “subobject” clause in the stub I wrote is wrong. I am going to put in the proper definition.. But am still not really online yet

• CommentRowNumber4.
• CommentAuthorTobyBartels
• CommentTimeJul 20th 2014

Me neither! The general definition at weak direct product is kind of complicated, but it should generalize from a category of pointed objects to a category of more general inclusions.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJul 20th 2014

okay, I have put in something into restricted product.