Re: Higher Order Categorical Logic -- Discussion

Jon Awbrey <[email protected]> Wed, 07 Jan 2004 13:19:01 -0500

Newsgroups	gmane.comp.inquiry,gmane.comp.misc.ontology.general
Message-ID	<[email protected]>

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

HOC.  Discussion Note 4

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

JP = Jack Park

JP: You know, I got to thinking about arrows and identity arrows.
    It occurred to me that a fully fleshed-out topic is one of
    those.  It has identity, and it has arrows that point to
    other topics.

what is the composition?

jon awbrey

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