yoneda_representative

ext::yoneda

Function yoneda_representative 

Source 
pub fn yoneda_representative<CC>(
    cc: Arc<CC>,
    map: ChainMap<FreeModuleHomomorphism<impl Module<Algebra = CC::Algebra>>>,
) -> Yoneda<CC>
where
    CC: FreeChainComplex + AugmentedChainComplex<ChainMap = FreeModuleHomomorphism<<<CC as AugmentedChainComplex>::TargetComplex as ChainComplex>::Module>>,
    CC::TargetComplex: BoundedChainComplex,
    CC::Algebra: GeneratedAlgebra,
Expand description

This function produces a quasi-isomorphic quotient of cc (as an augmented chain complex) that map factors through