1 paper · 2 filters
Benjamin Jones
We introduce a class of left cancellative categories we call ordinal graphs for which there is a functor d:Λ→Ord by which morphisms of Λ factor. We use gener…