Expand description
Category theory in dimension one, plus a little graph theory.
Re-exports§
pub use self::category::*;pub use self::fp_category::*;pub use self::functor::*;pub use self::graph::*;pub use self::path::*;
Modules§
- category
- Categories: interfaces and basic constructions.
- fp_
category - Finitely presented categories.
- functor
- Functors between 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.