Re: SUO: Composing Ontologies using morphisms and colimits
John,
Thanks for your summary and comments; I learned something. I've had it
on my "To do" list for some time to read up on your work.
In case this is of interest, the issue of publishing a full account of
deriving set theory (ST) within category theory (CT) was raised at CT2000
last summer. The last word (from Bill Lawvere himself) seemed to be that
that wouldn't be too useful at this point. I think he meant that it would
be best for people to just keep advancing CT and its applications. If it's
all that good, its use will eventually become widespread.
Some of us here think we really need more categorical tools in computer
science right now. An extended KIF kernel compatible with CT (and that
computes things such as colimits and colimit-preserving functors) would
be a welcome addition to our tool set.
To end this rambling note: If you or anybody on your cc list are interested
in the comments I've received from the CT community, I'd be happy to send
them along (all anonymous unless I receive permission to use names).
Best regards,
Mike
--
===========================================================================
e
Michael J. Healy A
FA ----------> GA
(425)865-3123 | |
FAX(425)865-2964 | |
Ff | | Gf
c/o The Boeing Company | |
PO Box 3707 MS 7L-66 \|/ \|/
Seattle, WA 98124-2207 ' '
USA FB ----------> GB
-or for priority mail- e "I'm a natural man."
2760 160th Ave SE MS 7L-66 B
Bellevue, WA 98008
USA
michael.j.healy@boeing.com -or- mjhealy@u.washington.edu
============================================================================