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 and, face, degeneracy and/or maps:
“My friend’s cold made-up face, granite among its flowers,
Her undressed, operated-on, dressed body
Were my face and body.”
—Randall Jarrell (1914–1965)
“In the long, sleepless watches of the night,
A gentle face—the face of one long dead—
Looks at me from the wall,”
—Henry Wadsworth Longfellow (1809–1882)
“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)