ects
&gt; for now, simply alluding to some sources of interest
&gt; that I have mentioned before as possible inspiration
&gt; or as potential materials for our future discussions:
&gt; 
&gt; | J. Lambek &amp; P.J. Scott,
&gt; |'Introduction to Higher Order Categorical Logic',
&gt; | Cambridge University Press, Cambridge, UK, 1986.
&gt; 
&gt; | Michael Barr &amp; Charles Wells,
&gt; |'Category Theory for Computing Science',
&gt; | Prentice Hall, London, UK, 1990.
&gt; 
&gt; Okay, here's how to tell if your i