Module yoneda

Module yoneda 

Source

Constantsยง

PENALTY_UNIT ๐Ÿ”’

Functionsยง

compute_kernel_image ๐Ÿ”’
This function does the following computation:
rate_adem_operation ๐Ÿ”’
rate_milnor_operation ๐Ÿ”’
rate_operation ๐Ÿ”’
split_mut_borrow ๐Ÿ”’
yoneda_representative
This function produces a quasi-isomorphic quotient of cc (as an augmented chain complex) that map factors through
yoneda_representative_element
yoneda_representative_with_strategy

Type Aliasesยง

Yoneda