JS Lemay

Date: July 7, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

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

Jonathan Gallagher

Date: August 11, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

Scott-Koymans theorem modernized to 2017.

Jonathan Gallagher

Date: August 15, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

Scott -Koymans theorem continued.

Daniel Satanove

Date: August 30, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

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.

Matthew Burke

Date: September 6, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

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

Priyaa Srinivasan

Date: September 13, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

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

Matthew Burke

Date: September 22, 2017
Time: 12:00 am - 12:00 am
Location: ICT616
Talk

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

Matthew Burke and Ben MacAdam

Date: October 6, 2017
Time: 12:00 am - 12:00 am
Location: ICT 616
Talk

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.

Matthew Burke

Date: October 13, 2017
Time: 12:00 am - 12:00 am
Location: ICT 616
Talk

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

Jonathan Gallagher

Date: October 20, 2017
Time: 12:00 am - 12:00 am
Location: ICT 616
Talk

Takahashi's fast confluence proof.