MyWikiBiz, Author Your Legacy — Thursday May 02, 2024
Jump to navigationJump to search
104 bytes added
, 12:14, 26 March 2009
Line 2,229: |
Line 2,229: |
| # 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)== |
| | | |
− | <pre>
| + | 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:
| |
| | | |
− | note_01 = http://suo.ieee.org/ontology/msg03373.html
| + | 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: |
− | note_30 = http://suo.ieee.org/ontology/msg03418.html
| |
− | | |
− | 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: | |
| | | |
| + | <pre> |
| Concrete Category | | Concrete Category |
| | | |