Theorems · Definition · category theory
CategoryTheory.Center
(C : Type u₁) → [inst : CategoryTheory.Category.{v₁, u₁} C] → [CategoryTheory.MonoidalCategory C] → Type (max u₁ u₁ v₁)The Drinfeld center of a monoidal category C has as objects pairs ⟨X, b⟩, where X : C
and b is a half-braiding on X.
- Defined in
- Mathlib.CategoryTheory.Monoidal.Center
- Cited by
- 58 results in Mathlib
- Foundations
- Depth 3 from the axioms · uses no axioms
Around this declaration
Dashed lines are statement dependencies; solid lines are citations in proofs.
Cites3
Mathlib declarations this one mentions in its statement or cites explicitly in its proof. Plumbing is filtered out.
- CategoryTheory.Categorystatement and proof · cited by 32,673
- CategoryTheory.MonoidalCategorystatement and proof · cited by 3,095
- CategoryTheory.HalfBraidingproof · cited by 62
Cited by87
Results whose statement or proof uses this declaration.
- CategoryTheory.Center.Hom.fstatement and proof · cited by 33
- CategoryTheory.GradedNatTransstatement · cited by 10
- CategoryTheory.Center.Homstatement · cited by 8
- CategoryTheory.Center.ofBraidedstatement · cited by 8
- CategoryTheory.Center.tensorObjstatement and proof · cited by 7
- CategoryTheory.Center.forgetstatement and proof · cited by 6
- CategoryTheory.GradedNatTrans.appstatement and proof · cited by 5
- CategoryTheory.Center.ofBraidedObjstatement · cited by 4
- CategoryTheory.Center.Hom.commstatement and proof · cited by 3
- CategoryTheory.Center.comp_fstatement and proof · cited by 3
- CategoryTheory.Center.isoMkstatement and proof · cited by 3
- CategoryTheory.Center.braidingstatement and proof · cited by 2