Changes

# Lambek, J. and Scott, P.J. (1986), ''Introduction To Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK.

# Lambek, J. and Scott, P.J. (1986), ''Introduction To Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK.

==Work Area==

==Basic Concepts from Lambek and Scott (1986)==

Notes on basic concepts from Lambek and Scott (1986), ''Introduction To Higher Order Categorical Logic'', Cambridge University Press, Cambridge, UK.  [http://suo.ieee.org/ontology/thrd42.html#03373 Excerpts and discussion on the Ontology List].

I have been posting excerpts to the ONT List, between note_01 & note_30:

Here is a synopsis, exhibiting just the layering of axioms — notice the technique of starting over at the initial point several times and building up both more richness of detail and more generality of perspective with each passing time:

 

Here is a synopsis, exhibiting just the layering of axioms --

notice the technique of starting over at the initial point

several times and building up both more richness of detail

and more generality of perspective with each passing time:

Concrete Category

Concrete Category