Lecture notes from first class, 20061108, introduction to
restriction categories, restriction combinators, stable
systems of monics. 

Lecture notes from second class 20061110. Full example
of restriction category using trees and forests over a
base set. 

Lecture notes from third class 20061115. Definition of
partial products and exponentials in a rcat. 

Lecture notes from fourth class 20061117. (Peter)
Discussion of topologies for computation. (See
paper by Longo).
Review of topology, Scott topologies, embedding of topology for
partial recursive functions in topology of all partial functions from N > N.


Lecture notes from fifth class 20061122. Continue with
topology of partial functions, characterizing the effectively open sets
and effectively continuous functions. 

Lecture notes from sixth class 20061124. The Map of Restriction
Categories. Review Cartesian and Cartesian closed restriction categories,
coproducts in restriction categories. 

Lecture notes from seventh class 20061127. Properites of
restriction categories, distributive categories. Restriction Monics. 

Lecture notes from eighth class 20061129. Join restriction categories.
Lax transforms, slack transforms. 

Lecture notes from ninth class 20061201. Logic of partial terms: Signatures,
term judgements, equality judgements, cut eliminations. 

Lecture notes from tenth class 20061206. Continue with logic of partial terms.
Partial algebraic theory. 

Lecture notes from final class 20061208. Join restriction categories and
adhesive categories. 
