catlog::dbl

Module computad

Source
Expand description

Computads for virtual double categories.

Structsยง

AVDCComputad
An augmented virtual double computad.
AVDCComputadTop
Top-dimensional data of an augmented virtual double computad.