11. IntervalCategory.QuasiAbelian
Module BridgelandStability.IntervalCategory.QuasiAbelian — 2 declarations (Theorem)
11.1. CategoryTheory.Triangulated.Slicing.intervalCat_hasKernels
Theorem | BridgelandStability.IntervalCategory.QuasiAbelian | Source | Open Issue
noncomputable instance Slicing.intervalCat_hasKernels (s : Slicing C) :
HasKernels (s.IntervalCat C a b)Show proof
:=
⟨fun {X Y} f ↦ Slicing.intervalCat_hasKernel (C := C) (s := s)
(a := a) (b := b) (X := X) (Y := Y) f⟩
11.2. CategoryTheory.Triangulated.Slicing.intervalCat_hasCokernels
Theorem | BridgelandStability.IntervalCategory.QuasiAbelian | Source | Open Issue
noncomputable instance Slicing.intervalCat_hasCokernels (s : Slicing C) :
HasCokernels (s.IntervalCat C a b)Show proof
:=
⟨fun {X Y} f ↦ Slicing.intervalCat_hasCokernel (C := C) (s := s)
(a := a) (b := b) (X := X) (Y := Y) f⟩