positive_backward_link

catlog::stdlib::models

Function positive_backward_link 

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

The “walking” backward positive link.

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