Simplicial sets and other combinatorial models of geometric spaces
Author AlgebraicJulia
3 Stars
Updated Last
24 Days Ago
Started In
January 2021


Build Status Dev Docs Code Coverage

This package provides combinatorial models of geometric spaces, such as simplicial sets and combinatorial maps. These "combinatorial spaces" are useful in computational physics, computer graphics, and other applications where geometry plays a large role. They are also potentially useful in non-geometric applications, since structures like simplicial sets generalize graphs from binary relations to higher-arity relations.

Combinatorial spaces, like graphs, are typically C-sets (copresheaves) on some category C. They are implemented here using the general data structures for C-sets offered by Catlab.jl. Thus, this package complements and extends the family of graph data structures shipped with Catlab in the module Catlab.Graphs.

Current features include:

  • delta sets (semi-simplicial sets) in dimensions one and two, optionally oriented and/or embedded in Euclidean space
  • construction of the dual complex associated with a delta set, via combinatorial and geometric subdivision
  • core operators of the discrete exterior calculus, including the boundary, exterior deriviative, Hodge star, codifferential, and Laplace-Beltrami operators
  • experimental support for rotation systems and combinatorial maps


To install this package, open the Julia shell, press ] to enter Pkg mode, and run the command

(@v1.5) pkg> add CombinatorialSpaces