Event categories Archives:

In this talk, I will explain how line integration from classical vector calculus gives an integral combinator on the category of real smooth functions.

Scott-Koymans theorem modernized to 2017.

Scott -Koymans theorem continued.

This talk will introduce the notion of an internal category as
a certain kind of object in a category. The goal of this
talk is to examine what it means for a category in X to
be a full subcategory of X.

In this talk we will describe the construction of a local approximation of a category in a certain well adapted model of synthetic differential geometry. This approximation is analogous to the germ of a local Lie group and is constructed using an int

This talk will give a relation on dagger structures in a dagger compact closed category.

In this talk we will sketch the construction of a few well-adapted models of synthetic differential geometry. Then we will recall the definition of an intuitionistic order relation and show how to define one in the Dubuc topos. Finally we will form

The first talk will continue investigating well-adapted models. The second talk will begin an investigation of linear-nonlinear models of linear logic in a 2-category.

In this talk we will sketch the construction of a few well-adapted models of synthetic differential geometry. Then we will recall the definition of an intuitionistic order relation and show how to define one in the Dubuc topos. Finally we will formul

Takahashi's fast confluence proof.