Expand description
References to the literature (docs only).
This module contains references cited in the docs for this crate. It is compiled
only when the crate the doc feature is enabled, and it is not intended to be
used for any purpose besides documentation.
Constantsยง
- Reference: Cartesian double theories.
- Reference: Products in double categories, revisited.
- Reference: A unified framework for generalized multicategories.
- Reference: Higher operads, higher categories.
- Reference: Ideals, varieties, and algorithms.
- Reference: Compositional account of biochemical regulatory networks.
- Reference: Compositional modeling with stock and flow diagrams.