balanced

Mathlib.CategoryTheory.Sites.LeftExact

URI: https://scilib.ai/kg/mathlib#CategoryTheory.SheafOfTypes.balanced

English

There is a balanced structure on SheafOfTypes, inherited from HasSheafify.

Русский

Существует сбалансированная структура на SheafOfTypes, наследуемая от HasSheafify.

LaTeX

$$$ \\text{balanced} (Sheaf J Type) $$$

Lean4

instance balanced [HasSheafify J (Type w)] : Balanced (Sheaf J (Type w)) :=
  inferInstance

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

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

Разделы

Аффилиация

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