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>>>