有同乡的朋友，今年也是第一次举家外出围炉，因是临时决定，提前一周才打电话预订，七八家常去的餐馆早已满额，最后只得订一家生面孔。
https://en.wikipedia.org/wiki/Simplex_category Thinnings are also the morphisms in the simplex category. Simplicial sets are a way of organizing face-edge that use this category as an indexing structure. Is it surprising that de Bruijn manipulations and describing shapes could share this structure? Maybe. Simplicial sets add in degenerate triangles (like a triangle with only 2 distinct vertices (kind of a “thick” line) or even only 1 distinct vertex (a “thick” point)). These are added in because it makes things cleaner. This degenerayc and tossing stuff away does kind of jive with thinning. Nameless Projections kind of jive with thinning. I dunno. If a triangle is a list of 3 points, the oriented edges are kind of the 2 vertex sublists of that and the vertices are kind of the 1 vertex sublists.
，详情可参考新收录的资料
The tombstone is a marker for the codegen backends to skip generating code for
В КСИР выступили с жестким обращением к США и Израилю22:46