Abelian

Statistics

Metric	Count
Definitions `instAbelian`, `normalEpi`, `normalMono`	3
Theorems	0
Total	3

Name	Category	Theorems
`instAbelian` 📖	CompOp	13 math math: `CategoryTheory.GrothendieckTopology.MayerVietorisSquare.biprodAddEquiv_symm_biprodIsoProd_hom_toBiprod_apply`, `instIsGrothendieckAbelianAddCommGrpCat`, `CategoryTheory.Pretriangulated.instIsHomologicalOppositeAddCommGrpCatObjFunctorPreadditiveYoneda`, `CategoryTheory.GrothendieckTopology.MayerVietorisSquare.mk₀_f_comp_biprodAddEquiv_symm_biprodIsoProd_hom`, `TopCat.Sheaf.IsFlasque.epi_of_shortExact`, `TopCat.Sheaf.sections_exact_of_left_exact`, `TopCat.Sheaf.IsFlasque.of_shortExact_of_isFlasque₁₂`, `instIsSerreClassIsFinite`, `CategoryTheory.Pretriangulated.instIsHomologicalAddCommGrpCatObjOppositeFunctorPreadditiveCoyoneda`, `AlgebraicGeometry.Scheme.instIsGrothendieckAbelianSheafProEtTopologyAb`, `CategoryTheory.Pretriangulated.preadditiveYoneda_map_distinguished`, `TopCat.Presheaf.sections_exact_of_exact`, `CategoryTheory.ShortComplex.abCyclesIso_inv_apply_iCycles`
`normalEpi` 📖	CompOp	—
`normalMono` 📖	CompOp	—

---