Title: Integral Category Structure of Smooth Functions
Abstract:
In this talk, I will explain how line integration from classical vector calculus gives an integral combinator on the category of real smooth functions.
The Calgary Peripatetic Seminar
University of Calgary's seminar on logic, mathematics, and computer science
Title: Integral Category Structure of Smooth Functions
Abstract:
In this talk, I will explain how line integration from classical vector calculus gives an integral combinator on the category of real smooth functions.