| Lecture notes from first class, 2006-11-08, introduction to
restriction categories, restriction combinators, stable
systems of monics. |
|
|
| Lecture notes from second class 2006-11-10. Full example
of restriction category using trees and forests over a
base set. |
|
|
| Lecture notes from third class 2006-11-15. Definition of
partial products and exponentials in a rcat. |
|
|
| Lecture notes from fourth class 2006-11-17. (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 2006-11-22. Continue with
topology of partial functions, characterizing the effectively open sets
and effectively continuous functions. |
|
|
| Lecture notes from sixth class 2006-11-24. The Map of Restriction
Categories. Review Cartesian and Cartesian closed restriction categories,
co-products in restriction categories. |
|
|
| Lecture notes from seventh class 2006-11-27. Properites of
restriction categories, distributive categories. Restriction Monics. |
|
|
| Lecture notes from eighth class 2006-11-29. Join restriction categories.
Lax transforms, slack transforms. |
|
|
| Lecture notes from ninth class 2006-12-01. Logic of partial terms: Signatures,
term judgements, equality judgements, cut eliminations. |
|
|
| Lecture notes from tenth class 2006-12-06. Continue with logic of partial terms.
Partial algebraic theory. |
|
|
| Lecture notes from final class 2006-12-08. Join restriction categories and
adhesive categories. |
|
|
