negative_backward_link

catlog::stdlib::models

Function negative_backward_link 

Source 
pub fn negative_backward_link(th: Rc<DiscreteTabTheory>) -> DiscreteTabModel
Expand description

The “walking” backward negative link.

This is the free category with signed links that has a negative link from the codomain of a morphism back to the morphism itself.