Face and Degeneracy Maps
In Δop, there are two particularly important classes of maps called face maps and degeneracy maps which capture the underlying combinatorial structure of simplicial sets.
The face maps di : n → n − 1 are given by
- di (0 → … → n) = (0 → … → i − 1 → i + 1 → … → n).
The degeneracy maps si : n → n + 1 are given by
- si (0 → … → n) = (0 → … → i − 1 → i → i → i + 1 → … → n).
By definition, these maps satisfy the following simplicial identities:
- di dj = dj−1 di if i < j
- di sj = sj−1 di if i < j
- dj sj = id = dj+1 sj
- di sj = sj di−1 if i > j + 1
- si sj = sj+1 si if i ≤ j.
The simplicial category Δ has as its morphisms the monotonic non-decreasing functions. Since the morphisms are generated by those that 'skip' or 'add' a single element, the detailed relations written out above underlie the topological applications. It can be shown that these relations suffice.
Read more about this topic: Simplicial Set
Famous quotes containing the words face, degeneracy and/or maps:
“Let’s face it. With the singular exception of breast-feeding, there is nothing about infant care that a mother is innately better qualified to do than a father. Yet we continue to unconsciously perpetuate the myth that men just don’t have what it takes to be true partners in the process.”
—Michael K. Meyerhoff (20th century)
“It is the manners and spirit of a people which preserves a republic in vigour. A degeneracy in these is a canker which soon eats to the heart of its laws and constitution.”
—Thomas Jefferson (1743–1826)
“Living in cities is an art, and we need the vocabulary of art, of style, to describe the peculiar relationship between man and material that exists in the continual creative play of urban living. The city as we imagine it, then, soft city of illusion, myth, aspiration, and nightmare, is as real, maybe more real, than the hard city one can locate on maps in statistics, in monographs on urban sociology and demography and architecture.”
—Jonathan Raban (b. 1942)