//! # colimit
//!
//! Computational applied category theory in Rust.
//!
//! This crate provides finite sets, functions between them, and colimit
//! computations (pushouts, coequalizers, coproducts) as the foundation for
//! building categories of combinatorial structures via the C-set / copresheaf
//! construction.
//!
//! **Status:** early development. The API will change.

pub struct FinSet {
    // TODO
}
