arrow-structure syntax
RE01 Rice Brian T. EM2
BRice@vinson.navy.mil
Sat, 5 Dec 1998 17:03:02 +0800
> A question came to my mind: what is the link between the arrow system
> and Category Theory ? I guess the arrow stuff won't only be a syntactic
> system.....
> (please, don't answer "None !" :):)
>
well, i have a few books which are just collections of papers on arrow
theory, and one of the papers walks through the relationship between the two
like this: categories can be viewed as arrow-graphs with special
restrictions, although the inversion, identity, and combinator operators are
all applicable. it basically amounts to the exclusion of multigraphs. in
fact, the author goes on to create a special category theory description
equivalent to 'full' (first-order) arrow theory and then makes a vague
conjecture about the equivalent category theory for n-dimensional arrow
theory (don't ask, since i'm just now sorting out the idea myself).
there's also one interesting part of category theory: the implicit 'worlds'
constructed within each category, which, according to the papers i have,
amount to _informal_ sets of axioms. i've been thinking through an idea of
using a "category of categories" to build the conceptual framework of Tunes,
but this seems rather difficult from where we are.
> you bet the "arrow type" is a tough notion !... I'm not sure enumeration
> will suffice....we should provide some recursive means of constructing
> arrow types... and we have to work out all the fundamentals (domain
> equations or any other stuff... to seriously build the whole system
> theoretically, to prove its consistency...and so on :)
>
yeah, i'm trying to sort out some ideas about that right now. maybe i'll
have some results in a few days.