From: Zinovy Diskin <zdiskin@gmail.com>
To: F William Lawvere <wlawvere@buffalo.edu>
Cc: categories@mta.ca, pare@mathstat.dal.ca
Subject: Re: Small is beautiful
Date: Wed, 6 Jan 2010 20:10:23 -0500 [thread overview]
Message-ID: <E1NSiOI-0000qN-MX@mailserv.mta.ca> (raw)
In-Reply-To: <E1NSKmN-0007cE-OC@mailserv.mta.ca>
In addition, a key property of semantic categories (as opposed to
syntactic) is their concreteness, i.e., their objects have carriers.
Commutativity with the forgetful functor is essential for results
stating equivalence of syntactic and semantic constructs.
Zinovy
On Tue, Jan 5, 2010 at 12:31 PM, F William Lawvere <wlawvere@buffalo.edu> wrote:
>
> Bob Pare' made the excellent point that not only size but quality
> is relevant.
> I definitely agree with the spirit of his remarks.
>
> Bob happens to have used in passing the term 'syntactic'.
> For clarity, the use of that term needs to be sharpened to avoid
> misunderstanding.
>
> Actually, the term 'syntax' refers NOT to small categories such as
> algebraic theories or rings, but rather to their PRESENTATION by
> signatures or by polynomial generators, et cetera. The process
> of presentation is an adjoint pair quite distinct from the
> semantical adjoint pair: both adjoint pairs have a category of
> theories or of rings in common but are otherwise quite
> independent.
>
> In particular, syntax is NOT the adjoint of semantics. Cratylus,
> Chomsky, and their 21st century followers can be refuted by
> looking soberly at the actual practice of mathematics (wherein
> the construction of sequences of words and of diagrams
> is pursued with great care for the purpose of communication.
> That syntax is only remotely dependent on the structure of the
> content that is to be communicated).
>
> Both of the functors
>
> ?--------------> theories -------------->Large categories
> Syntax Semantics
>
> are needed. The domain category of the first can be chosen
> in various useful ways: sketches or diagrams of signatures et cetera.
>
> Happy new year!
>
> Bill
>
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next prev parent reply other threads:[~2010-01-07 1:10 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-05 17:31 F William Lawvere
2010-01-07 1:10 ` Zinovy Diskin [this message]
2010-01-07 22:24 ` burroni
2010-01-07 14:31 ` Colin McLarty
2010-01-08 21:56 ` evil claudio pisani
-- strict thread matches above, loose matches on Subject: below --
2010-01-08 14:33 small is beautiful Paul Taylor
2010-01-09 21:05 ` burroni
2010-01-01 14:48 Small " Robert Pare
2010-01-03 7:57 ` Vaughan Pratt
2010-01-03 16:23 ` Eduardo J. Dubuc
2010-01-03 21:42 ` Ross Street
2010-01-04 8:41 ` Vaughan Pratt
2010-01-06 6:53 ` John Power
2010-01-07 11:12 ` Thomas Streicher
2010-01-08 13:29 ` Steve Vickers
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=E1NSiOI-0000qN-MX@mailserv.mta.ca \
--to=zdiskin@gmail.com \
--cc=categories@mta.ca \
--cc=pare@mathstat.dal.ca \
--cc=wlawvere@buffalo.edu \
/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).