Re: ONT Re: Higher Order Categorical Logic -- Discussion

Jon Awbrey wrote:

>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>HOC.  Discussion Note 3
>
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>JP = Jack Park
>
>JP: My sentiments, precisely.
>
>JP: I must say, however, that the book 'Conceptual Mathematics:
>    A first introductiton to categories' by F. William Lawvere
>    and Stephen H. Schanuel really do start out simple diagrams,
>    spreadsheet tables, and real-world examples worked out to
>    introduce the concepts.  I'm getting a lot from it.
>
>yes, that's a good book.  the reason for tackling the lambek and scott,
>though, was because of the connection they make to logic and computation.
>
>JP: What I have asked for is something akin to some real-world problem.
>    One that's, at once, simple, and potentially hairy, one that can start
>    simple and grow like mad.  Rosen introduced a "metabolism-repair" object
>    as the canonical living organism that his teacher Raschevsky was looking
>    for.  When he drew it as a commutative diagram, he noticed that reproduction
>    fell out for free.  I'd like to understand how that can come to pass.  Then,
>    I'd really like to imagine or learn how to take the nodes in that commutative
>    diagram and expand on them, turning them into some higher-order organism with
>    real, functional, relational components.  In the end, I see that as a prototype
>    for a lot of real-world things, like social systems, diseases, and everything
>    that's not driven by pure newtonian mechanics.
>
>can you draw me a copy of this here, or supply a link?
>i only looked into rosen once many years ago, and have
>hysterical amnesia for my time on the complexity list.
>
>jon awbrey
>
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>http://www.cs.bsu.edu/homepages/mighty/history.html
>o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
>
>  
>
If you visit http://www.people.vcu.edu/~mikuleck/PPRISS3.html and scroll 
down just past mid way, you will see 10C6 drawn and discussed.

Jack