Course work: CPSC 701.04: Proof theory and Linear Logic

Lecture notes for Restriction Categories

Lecture notes from first class, 2006-11-08, introduction to restriction categories, restriction combinators, stable systems of monics.
page0001 page0002 page0003 page0004 page0005 page0006
page0007 page0008 page0009 page0010 page0011 page0012
Lecture notes from second class 2006-11-10. Full example of restriction category using trees and forests over a base set.
page0013 page0014 page0015 page0016
page0017 page0018 page0019
Lecture notes from third class 2006-11-15. Definition of partial products and exponentials in a rcat.
page0020 page0021 page0022 page0023
page0024 page0025 page0026 page0027
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.
page0028 page0029 page0030 page0031
page0032 page0033 page0034 page0035
Lecture notes from fifth class 2006-11-22. Continue with topology of partial functions, characterizing the effectively open sets and effectively continuous functions.
page0036 page0037 page0038 page0039
page0040 page0041 page0042
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.
page0043 page0044 page0045 page0046 page0047
Lecture notes from seventh class 2006-11-27. Properites of restriction categories, distributive categories. Restriction Monics.
page0048 page0049 page0050 page0051
Lecture notes from eighth class 2006-11-29. Join restriction categories. Lax transforms, slack transforms.
page0052 page0053 page0054 page0055
page0056 page0057 page0058 page0059 page0060
Lecture notes from ninth class 2006-12-01. Logic of partial terms: Signatures, term judgements, equality judgements, cut eliminations.
page0061 page0062 page0063 page0064 page0065
page0066 page0067 page0068 page0069 page0070
Lecture notes from tenth class 2006-12-06. Continue with logic of partial terms. Partial algebraic theory.
page0071 page0072 page0073 page0074
page0075 page0076 page0077 page0078
Lecture notes from final class 2006-12-08. Join restriction categories and adhesive categories.
page0079 page0080 page0081 page0082
page0083 page0084 page0085
Last modified by Brett Giles
Last modified: 2012-11-19

Valid HTML5