From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Re: Query
Date: Tue, 1 Jul 1997 15:14:42 -0300 (ADT) [thread overview]
Message-ID: <Pine.OSF.3.90.970701151432.24245Q-100000@mailserv.mta.ca> (raw)
Date: Tue, 1 Jul 1997 09:49:21 -0700
From: Michael J. Healy 206-865-3123 <mjhealy@redwood.rt.cs.boeing.com>
Since there have been some replies to the query about artificial perception,
I suppose it's OK to mention my own work in progress. I have been doing
research in the formal semantics of neural networks. I am working on a
mathematical model in which concepts (formulas) are formed in memory as
colimits. The diagrams involve neural structures representing other
concepts, going all the way back to simple percepts. A concept is stored
in memory as a neuron or neuron pool together with its attendant synaptic
connections. Logically closed portions of memory are theories. Functors
and natural transformations enter in in the usual fashion of categorical
model theory.
There is still a lot of work to do on this, and I am still learning the
mathematics. I do have a proposed neural implementation of it, and am
working on a paper. Previous work along these lines has involved geometric
logic, so that I could understand some of the basics of learning, which for
me involves working with an observational logic. I have a paper on this,
too. Finding reviewers for this kind of material in the neural network
community has been difficult. If any of this sounds interesting enough
to discuss, I certainly wouldn't mind getting some feedback from category
theorists.
Sincerely,
Mike Healy
--
===========================================================================
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
e "I'm a natural man."
michael.j.healy@boeing.com B
-or- mjhealy@u.washington.edu
============================================================================
next reply other threads:[~1997-07-01 18:14 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-07-01 18:14 categories [this message]
-- strict thread matches above, loose matches on Subject: below --
2009-06-26 15:51 query Tom Leinster
2009-06-26 10:47 query Noson S. Yanofsky
2009-06-24 16:18 query jim stasheff
2008-07-17 8:35 Query Johannes Huebschmann
2003-10-02 12:55 query jim stasheff
2003-05-05 17:46 Query Oswald Wyler
[not found] <199811190226.NAA02248@macadam.mpce.mq.edu.au>
1998-11-20 23:06 ` query Michael Batanin
1998-11-19 9:31 query Marco Grandis
1998-11-19 1:15 query Ross Street
1998-11-18 4:12 query john baez
1998-11-16 22:08 query James Stasheff
1997-10-07 11:30 query categories
1997-10-02 19:52 query categories
1997-10-01 19:50 query categories
1997-07-01 2:41 Query categories
1997-07-01 2:39 Query categories
1997-06-29 14:39 Query categories
1997-02-10 15:52 query categories
1997-02-10 1:03 query categories
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.970701151432.24245Q-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).