Re: Higher Order Categorical Logic -- Discussion

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

HOC.  Discussion Note 10

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Jack, Matthew, Murray,

While I recover my strength for the imminent trek through Emyn Muil,
here's a conglomerate of concrete material on the relations between
various species of functions and relations in general:

RIG.  Relations In General.  http://suo.ieee.org/ontology/thrd14.html#04721

01.  http://suo.ieee.org/ontology/msg04721.html
02.  http://suo.ieee.org/ontology/msg04722.html
03.  http://suo.ieee.org/ontology/msg04723.html
04.  http://suo.ieee.org/ontology/msg04724.html

A slightly more leisurely introduction to category theory
and a useful supplement to Lambek & Scott can be found in
Mac Lane's 'Categories for the Working Mathematician',
some excerpts from which are collected here:
 
CAT.  Category Theory.  http://suo.ieee.org/ontology/thrd14.html#04789

Introduction

01.  http://suo.ieee.org/ontology/msg04789.html
02.  http://suo.ieee.org/ontology/msg04790.html
03.  http://suo.ieee.org/ontology/msg04791.html
04.  http://suo.ieee.org/ontology/msg04792.html
05.  http://suo.ieee.org/ontology/msg04793.html
06.  http://suo.ieee.org/ontology/msg04794.html
07.  http://suo.ieee.org/ontology/msg04795.html

1.  Categories, Functors, and Natural Transformations

1.1.  Axioms for Categories

08.  http://suo.ieee.org/ontology/msg04796.html
09.  http://suo.ieee.org/ontology/msg04892.html
10.  http://suo.ieee.org/ontology/msg04893.html

1.2.  Categories

11.  http://suo.ieee.org/ontology/msg04894.html
12.  http://suo.ieee.org/ontology/msg04895.html
13.  http://suo.ieee.org/ontology/msg04896.html
14.  http://suo.ieee.org/ontology/msg04897.html
15.  http://suo.ieee.org/ontology/msg04898.html
16.  http://suo.ieee.org/ontology/msg04899.html

1.3.  Functors

17.  http://suo.ieee.org/ontology/msg04900.html
18.  http://suo.ieee.org/ontology/msg04901.html
19.  http://suo.ieee.org/ontology/msg04903.html
20.  http://suo.ieee.org/ontology/msg04904.html
21.  http://suo.ieee.org/ontology/msg04905.html
22.  http://suo.ieee.org/ontology/msg04906.html

1.4.  Natural Transformations

23.  http://suo.ieee.org/ontology/msg04907.html

The above material is excerpted from:

| Saunders Mac Lane,
|'Categories for the Working Mathematician',
| 2nd edition, Springer, New York, NY, 1997.

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o