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.
The link to Joyal’s Catlab discussion at Cisinski model structure leads to a page on his Lab at which the main link points to a non-existent pdf document at Paris 13. We have the correct link at Cisinski model structure, namely to his Toulouse address (http://www.math.univ-toulouse.fr/~dcisinsk/ast.pdf). What is the best way to fix this? I do not seem to have access to Joyal’s Lab to be able to edit that.
1 to 1 of 1