From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7681 Path: news.gmane.org!not-for-mail From: Olivier Gerard Newsgroups: gmane.science.mathematics.categories Subject: Re: Terminology Date: Mon, 29 Apr 2013 00:47:38 +0200 Message-ID: References: <20130427130857.GC16801@mathematik.tu-darmstadt.de> Reply-To: Olivier Gerard NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1367251667 21886 80.91.229.3 (29 Apr 2013 16:07:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 29 Apr 2013 16:07:47 +0000 (UTC) Cc: Thomas Streicher , Categories To: =?UTF-8?Q?Jean_B=C3=A9nabou?= Original-X-From: majordomo@mlist.mta.ca Mon Apr 29 18:07:51 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UWqcH-00015m-EP for gsmc-categories@m.gmane.org; Mon, 29 Apr 2013 18:07:49 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:41400) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UWqZT-0003iF-AF; Mon, 29 Apr 2013 13:04:55 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UWqZT-0001dQ-Ac for categories-list@mlist.mta.ca; Mon, 29 Apr 2013 13:04:55 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7681 Archived-At: On Sun, Apr 28, 2013 at 5:49 AM, Jean B=C3=A9nabou wrote: I don't like very much "setoids", and I am very tempted by "essentially > discrete" as Thomas suggested. For these ones, I would suggest "cat=C3=A9gories timides" or "cat=C3=A9gori= es r=C3=A9serv=C3=A9es", as a play on "discrete", something you could translat= e as "shy" or "bashful" or "shrinking categories". What would you call a category X such that the functor X --> 1 is full and > faithful? Please don't tell me what they are, I know that. I'm not even > asking if there is a we'll established name for them. I don't think there > is one. What I ask is: Could you suggest one? Preferably a name which wou= ld > be suitable when we work with categories internal to a Topos E where > supports don't split. If you are in a playful mood, one could call them "cat=C3=A9gories unspir= =C3=A9es". Another suggestion is "cat=C3=A9gories modestes". This would make a good t= rio with "cat=C3=A9gories discr=C3=A8tes". Olivier G=C3=A9rard [For admin and other information see: http://www.mta.ca/~cat-dist/ ]