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 remark (here) that the arrow category is the Grothendieck construction on the slice categories (copied over just with mild adjustments of notation from the same example that I just added to Grothendieck construction)
1 to 2 of 2