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.
1 to 3 of 3
I have stumbled upon the following small category. Its objects are all natural numbers and the set morphisms from m to n is {f0,f1,…,fm∧n} (where m∧n is the minimum of m and n). The composite of fi and fj is fi∧j. Have you seen this category before? Do you know different descriptions?
This category is in a sense the minimal Reedy category whose direct part is ℕ (consisting of morphisms of the form fm:m→n) and the inverse part is ℕop (consisting of fn:m→n). I’m just curious whether it is good for anything.
Well, it's equivalent to the category of spans in the category of finite well-ordered sets (in which a morphism is an inclusion of an initial segment). One could easily drop the finiteness condition here (which amounts to changing ‘natural number’ to ‘ordinal number’ in your description). I don't know if anybody has studied this either, but you might find something about it in that guise. (Note that the category of well-ordered sets is thin, being essentially the poset of ordinal numbers; so the category of spans is a nice way to derive a non-thin category from it.)
That’s a good observation. More generally, I think you can take any poset P that is well-founded and has binary meets and then the category of spans in P is a Reedy category with P as the direct part and Pop as the inverse part. Still, I tried to google some related terms and I didn’t find anything relevant. Perhaps this construction is just not very interesting.
1 to 3 of 3