symmetricCategory

Mathlib.CategoryTheory.GradedObject.Braiding

URI: https://scilib.ai/kg/mathlib#CategoryTheory.GradedObject.symmetricCategory

Lean4

noncomputable instance symmetricCategory [SymmetricCategory C] : SymmetricCategory (GradedObject I C) where
  symmetry _ _ := Monoidal.symmetry _ _

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru