Question

Is there a 'classification' of the endofunctors F: Δ --> Δ where Δ denotes the simplex category with objects [n] and the weakly monotone maps [m] --> [n] as morphisms (Actually, I don't know if 'simplex category' is the right name)?

For instance there is a shift functor S: Δ --> Δ defined by S([n])=[n+1] on objects and S(d): [m+1] --> [n+1] being d on [m] and mapping m+1 to n+1 for a morphism d: [m]-->[n]. Hence for a simplicial set X one gets a path-object XoS.

Answer 1

I don't know such a classification, though I'm interested. Another standard endofunctor is op:Δ -> Δ which is the identity on objects but which relabels morphisms by reversing the sense of the ordering in each set [n].

Thus, if NC is the nerve of a category, op(NC) = NC^op.

Edit: Here is a thought which might lead to a classification.

Given an endofunctor F: Δ->Δ, there is a restriction functor F^*: S->S, where S=Psh(Δ, Set) = simplical sets. This has a left adjoint F_#, which on representable presheaves is isomorphic to the original functor F. So F is determined by F_#, which is determined by the value of F^* on representables.

Write K_n = F^*Δ[n].

Since F^* preserves limits, we know that K₀ = 1 (terminal object.) For all n, there is a monomorphism Δ[n] -> Δ[1]ⁿ (n-fold product), and we can use this to regard K_n as a subobject of (K₁)ⁿ.

Finally, you can get Δ[n], for n>2, as an inverse limit of a diagram involving Δ[1], Δ[2], and/or products thereof.

Thus, the functor F is basically determined once you know the simplicial set K₁ and the subobject K₂ of (K₁)².

(More is true. In the above, what I'm really doing is using the fact that S is the classifying topos for linear orders. In other words, adjoint pairs G: S <==> E: H where E is a topos, and the left adjoint G preserves finite limits, correspond to "objects in E equipped with a linear order". In this case, E=S, and G=F^*, the object of E with a linear order is K₁, and the linear order is the "relation" K₂ on K₁. This fact discussed, for instance, in Mac Lane & Moerdijk, Sheaves in Geometry and Logic.)

Answer 2

More examples:

• the functor Δ → Δ sending a totally ordered set S to S ∐ S, where the elements in the left copy are all less than the elements in the right copy. Restriction along this functor is the "edgewise subdivision", e.g., it sends Δ² to a complex with four nondegenerate 2-simplices whose geometric realization is homeomorphic to |Δ²|.

• the functor Δ → Δ sending S to S^op ∐ S. Restriction along this functor sends the nerve of a category C to the nerve of the twisted arrow category of C.

I guess all the examples I know can be built out of objects of Δ, op, and the join Δ × Δ → Δ.