From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8555 Path: news.gmane.org!not-for-mail From: "Fred E.J. Linton" Newsgroups: gmane.science.mathematics.categories Subject: Re: Partial functor Date: Mon, 16 Mar 2015 09:46:36 -0400 Message-ID: Reply-To: "Fred E.J. Linton" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1426516456 11033 80.91.229.3 (16 Mar 2015 14:34:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 16 Mar 2015 14:34:16 +0000 (UTC) To: Christopher King , Original-X-From: majordomo@mlist.mta.ca Mon Mar 16 15:34:03 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YXW5R-0008Lw-S0 for gsmc-categories@m.gmane.org; Mon, 16 Mar 2015 15:33:46 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:40990) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1YXW4m-0004WX-2v; Mon, 16 Mar 2015 11:33:04 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1YXW4j-0006z8-TS for categories-list@mlist.mta.ca; Mon, 16 Mar 2015 11:33:01 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8555 Archived-At: An issue with Christopher King's proposal, below, is what to do for a map between an object of S and = an object of C not in S. Cheers, -- Fred = --- ------ Original Message ------ Received: Mon, 16 Mar 2015 08:59:05 AM EDT From: Christopher King To: Subject: categories: Re: Partial functor > David Leduc googlemail.com> writes: > = >> >> Hi, >> >> A partial functor from C to D is given by a subcategory S of C and a >> functor from S to D. What is the appropriate notion of natural >> transformation between partial functors that would allow to turn smal= l >> categories, partial functors and those "natural transformations" into= >> a bicategory? The difficulty is that two partial functors from C to D= >> might not have the same definition domain. >> >> [For admin and other information see: http://www.mta.ca/~cat-dist/ ] >> >> > = > I know this is late, but I find a quite obvious notion for it. Why not = turn > your partial functor into a regular functor from C->D+1 (1 and + are th= e > terminal object and coproduct in the category of categories.) Now you c= an just > use regular natural transformations. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]