Module yoneda 

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