1 paper · 1 filter
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…