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.
created a table homotopy n-type - table and included it into the relevant entries
I don’t see it.
Sorry: homotopy n-types - table
Ah, found it! (^_^)
I have expanded a bit at homotopy n-types - table:
gave the -groupoids and homotopy -types two separate columns now;
included the recently discovered homotopy 2-types, and homotopy 3-types (recently discovered entries, mind you ;-)
also added a column for sheaves/stacks
1 to 5 of 5