20 citations · 38 across the 8 of their papers we have counts for
8 papers
Calculating monad transformers with category theory
Oleksandr Manzyuk
We show that state, reader, writer, and error monad transformers are instances of one general categorical construction: translation of a monad along an adjunction.
Confusion of Tagged Perturbations in Forward Automatic Differentiation of Higher-Order Functions
Oleksandr Manzyuk, Barak A. Pearlmutter, Alexey Andreyevich Radul +2
Forward Automatic Differentiation (AD) is a technique for augmenting programs to compute derivatives. The essence of Forward AD is to attach perturbations to each number, and propa…
Tangent bundles in differential lambda-categories
Oleksandr Manzyuk
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differenti…
Unital -categories
Volodymyr Lyubashenko, Oleksandr Manzyuk
We prove that three definitions of unitality for A-infinity-categories suggested by the first author, by Kontsevich and Soibelman, and by Fukaya are equivalent.
A-infinity-bimodules and Serre A-infinity-functors
Volodymyr Lyubashenko, Oleksandr Manzyuk
We define A-infinity-bimodules similarly to Tradler and show that this notion is equivalent to an A-infinity-functor with two arguments which takes values in the differential grade…
Equalizers in the category of cocomplete cocategories
Bernhard Keller, Oleksandr Manzyuk
We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that A-infinity functor categories arise as inte…