presheaf

Mathlib.Topology.Sheaves.Sheaf

URI: https://scilib.ai/kg/mathlib#TopCat.Sheaf.presheaf

Lean4

/-- The underlying presheaf of a sheaf -/
abbrev presheaf (F : X.Sheaf C) : TopCat.Presheaf C X :=
  F.1

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

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

Разделы

Аффилиация

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