From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7665 Path: news.gmane.org!not-for-mail From: David Yetter Newsgroups: gmane.science.mathematics.categories Subject: Name for a concept? Date: Wed, 24 Apr 2013 22:14:39 -0500 Message-ID: <838BC420-E6C8-49A1-8AD8-5A5C45E0D496@math.ksu.edu> Reply-To: David Yetter NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1366895328 23698 80.91.229.3 (25 Apr 2013 13:08:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 25 Apr 2013 13:08:48 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Thu Apr 25 15:08:53 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 1UVLuu-00082m-U3 for gsmc-categories@m.gmane.org; Thu, 25 Apr 2013 15:08:53 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:35039) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UVLtd-0003J2-Kk; Thu, 25 Apr 2013 10:07:33 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UVLtc-0005Cu-Qc for categories-list@mlist.mta.ca; Thu, 25 Apr 2013 10:07:32 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7665 Archived-At: 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/ ]