curry₃

Mathlib.CategoryTheory.Functor.CurryingThree

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.curry₃

English

Currying a functor in three variables to a triple-indexed functor

Русский

Каррирование функторa в трёх переменных к трехиндексному функтору

LaTeX

$$$\text{curry}_3 : (C_1 \times C_2 \times C_3 \to E) \to (C_1 \to C_2 \to C_3 \to E)$$$

Lean4

/-- Currying a functor in three variables. -/
abbrev curry₃ : (C₁ × C₂ × C₃ ⥤ E) ⥤ C₁ ⥤ C₂ ⥤ C₃ ⥤ E :=
  currying₃.inverse

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

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

Разделы

Аффилиация

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