**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.

Skip to content
# JS Lemay

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.