Commit 2020-08-20 06:10 34db3c34
View on Github →feat(order/category): various categories of ordered types (#3841) This is a first step towards the category of simplicial sets (which are presheaves on the category of nonempty finite linear orders).
feat(order/category): various categories of ordered types (#3841) This is a first step towards the category of simplicial sets (which are presheaves on the category of nonempty finite linear orders).