[Alta-Logic] Peripatetic Talk

[Robin Cockett]

Time: 11:00am  29th Sept. 2010

Place: ICT 616

Speaker: Jonathan Gallagher

Title: The Category of Rational Functions (Part II)
         The Differential Restriction Structure

Abstract:
This talk continues last weeks talk (whose salient points will be 
reviewed) which constructed the category of rational functions for a 
commutative rig.  These categories have restriction whose "open set 
lattices", given by finitely generated multiplicative sets, are also a 
basis for the Zariski topology. The  aim of this talk is to describe the 
differential and join restriction structure of these categories when the 
rig is a unique factorization domain (UFD).