The following pages link to Oleksandr Manzyuk (Q2381423):
Displayed 11 items.
- Equalizers in the category of cocomplete cocategories (Q2381424) (← links)
- Closed categories vs. closed multicategories (Q2884476) (← links)
- -algebras, -categories and -functors (Q3053871) (← links)
- A Simply Typed λ-Calculus of Forward Automatic Differentiation (Q3178288) (← links)
- (Q3411943) (← links)
- (Q3519057) (← links)
- (Q3607723) (← links)
- Unital ${A}_\infty$-categories (Q5191984) (← links)
- (Q5459676) (← links)
- Tangent bundles in differential lambda-categories (Q6230680) (← links)
- Confusion of Tagged Perturbations in Forward Automatic Differentiation of Higher-Order Functions (Q6237352) (← links)