coend
plural of driver
(mathematics) The dual of an end in category theory.
The quantitative analysis of the interaction between drugs and patients
present participle of overdry
圏論では、エンドの双対はしばしば普遍的な構成として現れ、関手を圏上で「積分」する方法を提供する。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
