Module refs

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

AugmentedVDCs

Reference: Augumented virtual double categories.

CTForTheSciences

Reference: Category theory for the sciences.

CartDblTheories

Reference: Cartesian double theories.

DblProducts

Reference: Products in double categories, revisited.

GeneralizedMulticategories

Reference: A unified framework for generalized multicategories.

HigherOperads

Reference: Higher operads, higher categories.

IdealsVarietiesAlgorithms

Reference: Ideals, varieties, and algorithms.

KockGraphs

Reference: Graphs, hypergraphs, and properads.

KockTrees

Reference: Polynomial functors and trees.

RegNets

Reference: Compositional account of biochemical regulatory networks.

StockFlow

Reference: Compositional modeling with stock and flow diagrams.