This Friday Mar. 26th at 12:00 EDT / 16:00 UTC we ...

# mathematics

[breandan]

This Friday Mar. 26th at 12:00 EDT / 16:00 UTC we are hosting Erik Meijer at our reading group. He will discuss some mathematical topics, possibly related to Kotlin somehow. In case anyone here is available, please feel welcome to drop by and say hello! It would be great to have your feedback.

Inside Every Calculus Is A Little Algebra Waiting To Get Out

Because of deep learning, there has been a surge in interest in automatic differentiation, especially from the functional programming community. As a result there are many recent papers that look at AD from a Category Theory perspective. However, Category Theorists have already been looking at differentiation and calculus in general since the late 60’s in the context of Synthetic Differential Geometry, but it seems that this work is largely ignored by those interested in AD. In this talk, we will provide a gentle introduction to the ideas of SDG, by relating them to dual numbers, and show how it provides a simple and purely algebraic approach to (automatic) differentiation.

https://mcgill.zoom.us/j/89551971819

[altavir]

Looks very interesting. Sadly we have summer internship presentation at that time. If there will be a recording I'll be sure to listen to it later.

[Ролан]

Might be of interest: https://www.youtube.com/playlist?app=desktop&list=PLRxtDuSeiaXYy17D56Era8ns3V4vmWmqE

[Ролан]

cc @Iaroslav Postovalov

[breandan]

Here is the recording from last week's discussion in case you are curious:

https://youtu.be/oGugoP96vzE▾

Erik mentioned two textbooks at the end:

• Synthetic Differential Geometry
• A Primer of Infinitesimal Analysis
Thanks to Roland for dropping by and asking good questions.

[Ролан]

very nice talk indeed 👍 thank you!