Zeinab Galal
YOU?
Author Swipe
View article: Combining fixpoint and differentiation theory
Combining fixpoint and differentiation theory Open
Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this paper, we provide a categorical framework to combine fixpoints with derivatives by studying Cartesian differe…
View article: Combining fixpoint and differentiation theory
Combining fixpoint and differentiation theory Open
Interactions between derivatives and fixpoints have many important\napplications in both computer science and mathematics. In this paper, we\nprovide a categorical framework to combine fixpoints with derivatives by\nstudying Cartesian diff…
View article: Fixpoint operators for 2-categorical structures
Fixpoint operators for 2-categorical structures Open
Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A th…