Structures · Algebra
TotalComplexShape
A total complex shape for three complex shapes c₁, c₂, c₁₂ on three types
I₁, I₂ and I₁₂ consists of the data and properties that will allow the construction
of a total complex functor HomologicalComplex₂ C c₁ c₂ ⥤ HomologicalComplex C c₁₂ which
sends K to a complex which in degree i₁₂ : I₁₂ consists of the coproduct
of the (K.X i₁).X i₂ such that π ⟨i₁, i₂⟩ = i₁₂.
- Shape
- 3 explicit arguments · adds π, ε₁, ε₂, rel₁, rel₂, ε₂_ε₁
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by273
- ComplexShape.π
- HomologicalComplex.mapBifunctor
- HomologicalComplex₂.HasTotal
- HomologicalComplex.HasMapBifunctor
- HomologicalComplex₂.total
- ComplexShape.ε₁
- ComplexShape.ε₂
- HomologicalComplex₂.ιTotal
- HomologicalComplex.ιMapBifunctor
- ComplexShape.r
- HomologicalComplex₂.D₂
- HomologicalComplex₂.D₁
- HomologicalComplex.HasGoodTrifunctor₁₂Obj
- HomologicalComplex.HasGoodTrifunctor₂₃Obj
- HomologicalComplex.mapBifunctor₁₂.ι
- HomologicalComplex₂.d₂
- HomologicalComplex₂.total.map
- HomologicalComplex₂.d₁
- HomologicalComplex₂.ι_totalDesc
- HomologicalComplex.mapBifunctor₂₃.ιOrZero
- HomologicalComplex.mapBifunctor₂₃.ι
- ComplexShape.σ
- HomologicalComplex.mapBifunctor₁₂.ιOrZero
- HomologicalComplex₂.total.hom_ext
- HomologicalComplex.mapBifunctor.d₁
- HomologicalComplex.mapBifunctor.d₂
- HomologicalComplex.mapBifunctorMap
- HomologicalComplex.mapBifunctorAssociatorX
- HomologicalComplex₂.totalDesc
- HomologicalComplex.ιMapBifunctorOrZero
- HomologicalComplex₂.totalFlipIso
- HomologicalComplex.mapBifunctor.D₂
- HomologicalComplex₂.d₁_eq_zero
- HomologicalComplex₂.d₂_eq_zero
- HomologicalComplex.mapBifunctor.D₁
- ComplexShape.next_π₁
- HomologicalComplex.mapBifunctor₂₃.d₂
- HomologicalComplex₂.d₂_eq
- ComplexShape.next_π₂
- HomologicalComplex.mapBifunctorFlipIso
- HomologicalComplex.mapBifunctor₂₃.d₃
- ComplexShape.rel_π₁
- HomologicalComplex.mapBifunctor₂₃.d₁
- HomologicalComplex.mapBifunctor.hom_ext
- HomologicalComplex₂.D₁_shape
- HomologicalComplex.mapBifunctor.ι_D₂
- HomologicalComplex₂.totalFlipIsoX
- HomologicalComplex.mapBifunctor₁₂.D₂
- HomologicalComplex₂.ι_D₂
- HomologicalComplex₂.ι_totalDesc_assoc
Ancestors0
No ancestors.