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 cofinal (infinity,1)-functor
added to homotopy final functor a section On categories of simplices with the remark that the inclsion of the non-degenerate simplicies is even homotopy (co)final.
Added brief corresponding remarks also to category of simplices and barycyentric subdivision.
added to final (infinity,1)-functor the statement (in the Examples-section) that the inclusion of a terminal object is final.
1 to 3 of 3