catlog::stdlib::theories

Function th_delayable_signed_category

Source
pub fn th_delayable_signed_category() -> UstrDiscreteDblTheory
Expand description

The theory of delayable signed categories.

Free delayable signed categories are causal loop diagrams with delays, often depicted as caesuras.