From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7669 Path: news.gmane.org!not-for-mail From: "Eduardo J. Dubuc" Newsgroups: gmane.science.mathematics.categories Subject: Re: Name for a concept? Date: Thu, 25 Apr 2013 22:05:47 -0300 Message-ID: References: <838BC420-E6C8-49A1-8AD8-5A5C45E0D496@math.ksu.edu> Reply-To: "Eduardo J. Dubuc" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1367067259 8980 80.91.229.3 (27 Apr 2013 12:54:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 27 Apr 2013 12:54:19 +0000 (UTC) Cc: David Yetter , categories To: Aleks Kissinger Original-X-From: majordomo@mlist.mta.ca Sat Apr 27 14:54:23 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 1UW4dy-0003hZ-A6 for gsmc-categories@m.gmane.org; Sat, 27 Apr 2013 14:54:22 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:38537) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UW4c1-0000bh-5k; Sat, 27 Apr 2013 09:52:21 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UW4c0-0007vZ-Mn for categories-list@mlist.mta.ca; Sat, 27 Apr 2013 09:52:20 -0300 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:12.0) Gecko/20120428 Thunderbird/12.0.1 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7669 Archived-At: On 25/04/13 11:19, Aleks Kissinger wrote: > Oops, forgot to send to list. > > I think its actually a stronger property, but: perhaps cofiltered category? > > On 25 April 2013 04:14, David Yetter wrote: >> Is there an existing name in the literature for a category in which every cospan admits a completion to a commutative square? (Just that, no uniqueness, no universal >> properties required, just every cospan sits inside at least one commutative square). If so, what have such things been called? If not, does anyone have a poetic idea for a good name for >> such categories? >> >> Best Thoughts, >> David Yetter >> > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] yes !, a cofiltered category is just a connected such category, Verdier's formulation, see Mac Lane's book if you don't like the SGA4. e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]