Module one

Category theory in dimension one.

Re-exports

pub use self::category::*;

pub use self::graph::*;

pub use self::path::*;

Modules

category

Categories: interfaces and basic constructions.

fp_category

Finitely presented categories.

graph

Graphs, finite and infinite.

graph_algorithms

Algorithms on graphs.

path

Paths in graphs and categories.

tree

Trees with boundary.

tree_algorithms

Algorithms on trees.