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.
needed to point to restricted product, so I created a bare (and unsophisticated) minimum
I linked weak direct product (which is a special case).
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
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.
okay, I have put in something into restricted product.
1 to 5 of 5