Higher fundamental functors for simplicial sets - Marco Grandis (2000)