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.

fin_category

Data structures for finite and finitely presented categories.

graph

Graphs, finite and infinite.

graph_algorithms

Algorithms on graphs.

path

Paths in graphs and categories.