### 1 unstable release

0.1.0 | Sep 10, 2019 |
---|

#**5** in #category

**MIT**license

11KB

163 lines

# Graph-Builder

An algorithm for generating graphs with post-filtering and edge composition.

This algorithm is used by automated theorem provers on typical group/category problems. For example, to study algebra or path semantics.

The advantage of this algorithm is that it exploits symmetry of Category Theory.
For every morphism

and `A -> B`

`B ``->` C

, there exists a morphism `A ``->` C

.
This means that for a large number of objects, one only needs to keep neighbour morphisms.Constructing a graph using small operations makes it possible to minimize the work required to get from one node to another.

For information of how use this library, see the documentation on the various functions.

###
`lib.rs`

:

# Graph-Builder

An algorithm for generating graphs with post-filtering and edge composition.

This algorithm is used by automated theorem provers on typical group/category problems. For example, to study algebra or path semantics.

The advantage of this algorithm is that it exploits symmetry of Category Theory.
For every morphism

and `A -> B`

`B ``->` C

, there exists a morphism `A ``->` C

.
This means that for a large number of objects, one only needs to keep neighbour morphisms.Constructing a graph using small operations makes it possible to minimize the work required to get from one node to another.

For information of how use this library, see the documentation on the various functions.