From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9318 Path: news.gmane.org!.POSTED!not-for-mail From: Baruch Garcia Newsgroups: gmane.science.mathematics.categories Subject: The use-mention distinction and category theory Date: Sun, 3 Sep 2017 14:19:56 -0500 Message-ID: Reply-To: Baruch Garcia NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1504571466 10469 195.159.176.226 (5 Sep 2017 00:31:06 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 5 Sep 2017 00:31:06 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Sep 05 02:30:52 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dp1lO-0001ls-Da for gsmc-categories@m.gmane.org; Tue, 05 Sep 2017 02:30:46 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:57704) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1dp1mZ-00006K-Ag; Mon, 04 Sep 2017 21:31:59 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1dp1ks-0001aL-0Q for categories-list@mlist.mta.ca; Mon, 04 Sep 2017 21:30:14 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9318 Archived-At: Hello, I was wondering if someone of the categories list could answer this question: In Godel's/Tarski's theorem and the Halting problem, the use-mention distinction (e.g. Boston is populous, but "Boston" is disyllabic) is essential. Is there an analog to the use-mention distinction in category theory or is the use-mention distinction just its own principle independent of category theory? Any suggestion, insight, clarification would be appreciated. Many Thanks! Baruch [For admin and other information see: http://www.mta.ca/~cat-dist/ ]