Yoneda

Type Alias Yoneda 

Source
pub type Yoneda<CC> = FiniteAugmentedChainComplex<FDModule<<CC as ChainComplex>::Algebra>, FullModuleHomomorphism<FDModule<<CC as ChainComplex>::Algebra>>, FullModuleHomomorphism<FDModule<<CC as ChainComplex>::Algebra>, <<CC as AugmentedChainComplex>::TargetComplex as ChainComplex>::Module>, <CC as AugmentedChainComplex>::TargetComplex>;

Aliased Type§

pub struct Yoneda<CC> {
    cc: FiniteChainComplex<FiniteDimensionalModule<<CC as ChainComplex>::Algebra>>,
    target_cc: Arc<<CC as AugmentedChainComplex>::TargetComplex>,
    chain_maps: Vec<Arc<FullModuleHomomorphism<FiniteDimensionalModule<<CC as ChainComplex>::Algebra>, <<CC as AugmentedChainComplex>::TargetComplex as ChainComplex>::Module>>>,
}

Fields§

§cc: FiniteChainComplex<FiniteDimensionalModule<<CC as ChainComplex>::Algebra>>§target_cc: Arc<<CC as AugmentedChainComplex>::TargetComplex>§chain_maps: Vec<Arc<FullModuleHomomorphism<FiniteDimensionalModule<<CC as ChainComplex>::Algebra>, <<CC as AugmentedChainComplex>::TargetComplex as ChainComplex>::Module>>>