catlog/
lib.rs

1/*! A toolbox for categorical logic based on double-categorical theories.
2
3# Organization
4
5While the purpose of this package is to implement double theories and their
6models and morphisms, a certain amount of lower-dimensional category theory is
7necessary as background. The package is organized into top-level modules
8according to dimensionality:
9
100. [`zero`]: Sets and mappings, known semi-seriously as zero-dimensional
11   category theory, and a bit of abstract algebra.
121. [`one`]: Ordinary, or one-dimensional, category theory.
132. [`dbl`]: Double category theory.
14
15The prerequisite modules make no pretence to completeness, but if they become
16sufficiently useful in their own right, they may be spun off into their own
17crates.
18*/
19
20// Unicode identifiers.
21#![allow(mixed_script_confusables)]
22#![allow(confusable_idents)]
23#![warn(missing_docs)]
24
25#[cfg(doc)]
26pub mod refs;
27
28pub mod validate;
29
30pub mod dbl;
31pub mod one;
32pub mod simulate;
33pub mod stdlib;
34pub mod zero;