catlog/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
/*! A toolbox for categorical logic based on double-categorical theories.

# Organization

While the purpose of this package is to implement double theories and their
models and morphisms, a certain amount of lower-dimensional category theory is
necessary as background. The package is organized into top-level modules
according to dimensionality:

0. [`zero`]: Sets and mappings, known semi-seriously as zero-dimensional
   category theory, and a bit of abstract algebra.
1. [`one`]: Ordinary, or one-dimensional, category theory.
2. [`dbl`]: Double category theory.

The prerequisite modules make no pretence to completeness, but if they become
sufficiently useful in their own right, they may be spun off into their own
crates.
*/

// Unicode identifiers.
#![allow(mixed_script_confusables)]
#![allow(confusable_idents)]
#![warn(missing_docs)]

#[cfg(doc)]
pub mod refs;

pub mod validate;

pub mod dbl;
pub mod one;
pub mod simulate;
pub mod stdlib;
pub mod zero;