Abstract Simplicial Complexes

Karol Pąk
2010 Formalized Mathematics  
Simplicial Complexes In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.
doi:10.2478/v10037-010-0013-y fatcat:a4bcjaebijemflbmorswlvo564