Augmented Simplicial Set