res_linear

Mathlib.CategoryTheory.Action.Limits

URI: https://scilib.ai/kg/mathlib#Action.res_linear

English

Restriction functor along a monoid hom is linear over R.

Русский

Функтор ограничения по гомоморфизму моноида линейный над R.

LaTeX

$$$\text{res}(V,f).\mathrm{Linear}$$$

Lean4

instance res_linear : (res V f).Linear R where

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

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

Разделы

Аффилиация

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