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:
To install this package, open the Julia shell, press ]
to enter Pkg mode, and
run the command
(@v1.5) pkg> add CombinatorialSpaces