Re: Partial functors ..

Re: Partial functors ..

[Fred E.J. Linton]

One had better take care to note explicitly how to compose maps to 
and from the newly adjoined "zero object", if following Yetter's idea,

> The previous suggestion of considering functors to D + 1 was a false start
> for reasons Fred and Uwe pointed out, but it suggests a better approach: 
> consider functors to the category D~ formed from D by freely adjoining a
> zero object.  Arrows not in S now have somewhere to go (the zero arrow
> with the appropriate source and target).

For, given a and b objects in D and writing z for the newly adjoined zero
object, what are we to take for compositions  a --> * --> b ? Or were we 
also to adjoin "zero maps" z_(a,b) to each existing homset D(a, b), and 
then set these compositions all equal to those new zero maps?

That suggests Yetter really meant to propose forming the free *pointed* 
category with zero object freely engendered by D ... or maybe that's what  
his words already meant to convey? Apologies if I was deaf to that tone :-) .

Cheers, -- Fred



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[Steve Lack]

Dear Ross,

I think you meant the *product* completion Fam(D*)*. 
If you use the coproduct completion, then you need to use discrete *opfibrations* and covariant Set-valued functors.

There are some details in the appendix to our joint paper “The formal theory of monads II”.

Steve.

> On 18 Mar 2015, at 11:47 am, Ross Street <ross.street@mq.edu.au> wrote:
> 
> Dear All
> 
> David Leduc’s statement: 
> "A partial functor from C to D is given by a subcategory S of C and a functor from S to D.”
> 
> If this is taken as given then today I don’t want to add to what people have said.
> 
> But there is another notion of partial functor that I learnt from Brian Day
> who learnt it from Bill Lawvere. If we are to replace 2 in Set by Set in Cat,
> then characteristic maps C —> 2 should become presheaves C^op —> Set,
> so injective functions S—> C should become discrete fibrations E —> C.
> Then a partial map from C to D would be a span C <— E —> D
> with C <— E a discrete fibration and E —> D any functor.
> The partial map classifier is then the coproduct completion FamD
> of D. Add size restrictions, to taste.
> 
> Ross
> 


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[henry]

I don't this this works: if (g .g') is in the domain of the partial
functor and g is not, then g will be sent to 0 by the extension of the
partial functor, hence g.g' will also be sent to 0 which shouldn't be the
case because it is in the domain of the functor.

Also it is not entirely clear to me if the original question wanted
functor defined on a full subcategory or on an arbitrary sub-category. But
in both case, my opinion would be that the only reasonable notion is to
talk about "partial natural transformations" which are defined on a
subcategory included in the domain of definition of both functor (and
hence are natural transformation between ordinary functor).


Best wishes,
Simon Henry.


> The previous suggestion of considering functors to D + 1 was a false start
> for reasons Fred and Uwe pointed out, but it suggests a better approach:
> consider functors to the category D~ formed from D by freely adjoining a
> zero object.  Arrows not in S now have somewhere to go (the zero arrow
> with the appropriate source and target).
>
> I think at the one-categorical level, taking Hom(C,D) to be the
> zero-preserving functors from C~ to D~, and letting C and D range over all
> small categories gives  a category isomorphic to that of small categories
> with partial  functors as arrows.
>
> Natural transformations between (zero-preserving) functors from C~ to D~
> would
> then give a reasonable notion of partial natural transformations.  It
> certainly captures some, at least, of the natural transformations "more
> partial"  than their source functor, since there will be a zero natural
> transformation between any two partial functors, corresponding to a
> "defined nowhere" partial natural transformation when zero-ness is
> interpreted as undefined as  it was in the correspondence between
> zero-preserving functors from C~ to D~ and partial functors from C to D.
>
> I'm not sure how this fits with the restrictions Robin points out.  It
> seems to allow more partial natural transformations than Robin's
> observation, since zero arrows can fill in whenever the image object under
> either the source or target functor is undefined, a partial natural
> transformation to be a natural transformation between the restrictions of
> the two partial functors to the intersections of their domain of
> definition (or a subcategory thereof).
>
> Best Thoughts,
> David Yetter

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[Ross Street]

Dear All

David Leduc’s statement: 
"A partial functor from C to D is given by a subcategory S of C and a functor from S to D.”

If this is taken as given then today I don’t want to add to what people have said.

But there is another notion of partial functor that I learnt from Brian Day
who learnt it from Bill Lawvere. If we are to replace 2 in Set by Set in Cat,
then characteristic maps C —> 2 should become presheaves C^op —> Set,
so injective functions S—> C should become discrete fibrations E —> C.
Then a partial map from C to D would be a span C <— E —> D
with C <— E a discrete fibration and E —> D any functor.
The partial map classifier is then the coproduct completion FamD
of D. Add size restrictions, to taste.

Ross



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[Sergei Soloviev]

Dear David,

of recent papers, there are for exemple

K. Dosen, Z. Petric
Coherence in substructural categories, Studia Logica, vol.
> 70 (2002), pp. 271-296 (available at: http://arXiv.org)
>
> where the diagonal case (Relevant categories) is treated separately. The
> cartesian case is treated in
>
> K. Dosen, Z. Petric, The maximality of cartesian categories, Mathematical
> logic Quarterly, vol. 47 (2001), pp. 137-144 (available at:
> http://arXiv.org)
>
> and also in our book Proof-Theoretical Coherence, Chapter 9. (available at
> http://www.mi.sanu.ac.rs/~kosta/coh.pdf).
>
There is also a recent paper
>
K. Dosen, On Sets of Premises  (available at: http://arXiv.org)

As to the historical aspect, there was a theorem in an old paper by Grigori Mints,
published in Russian in 1980
(reprinted in "Selected papers in Proof Theory", Bibliopolis, 1992), but I have
to find the paper and exact formulation of his theorem.

regards,

Sergei Soloviev



Le Mardi 17 Mars 2015 16:04 CET, David Yetter <dyetter@ksu.edu> a écrit:

> The previous suggestion of considering functors to D + 1 was a false start for reasons Fred and Uwe pointed out, but it suggests a better approach:  consider functors to the category D~ formed from D by freely adjoining a zero object.  Arrows not in S now have somewhere to go (the zero arrow with the appropriate source and target).
>
> I think at the one-categorical level, taking Hom(C,D) to be the zero-preserving functors from C~ to D~, and letting C and D range over all small categories gives  a category isomorphic to that of small categories with partial  functors as arrows.
>
> Natural transformations between (zero-preserving) functors from C~ to  D~ would
> then give a reasonable notion of partial natural transformations.  It  certainly captures some, at least, of the natural transformations "more partial"  than their source functor, since there will be a zero natural transformation between any two partial functors, corresponding to a "defined nowhere" partial natural transformation when zero-ness is interpreted as undefined as  it was in the correspondence between zero-preserving functors from C~ to D~ and partial functors from C to D.
>
> I'm not sure how this fits with the restrictions Robin points out.  It seems to allow more partial natural transformations than Robin's observation, since zero arrows can fill in whenever the image object under either the source or target functor is undefined, a partial natural transformation to be a natural transformation between the restrictions of the two partial functors to the intersections of their domain of definition (or a subcategory thereof).
>
> Best Thoughts,
> David Yetter
> ________________________________________
> From: Robin Cockett <robin@ucalgary.ca>
> Sent: Monday, March 16, 2015 6:12 PM
> To: Categories list
> Subject: categories: Partial functors ..
>
> David Leduc <david.leduc6 <at> googlemail.com> writes:
>
>> 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 small
>> 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.
>
>
> Here is a basic and quite natural interpretation (if someone has not

> already pointed this out):
>
> One can have a n.t  F => G iff F is less defined than G and on their common
> domain (which is just the domain of F) there is a natural transformation
> from F => \rst{F} G.   Partial functors, of course, form a restriction
> category so they are naturally partial order enriched (by restriction).
> This 2-cell structure must simply respect this partial order ...
>
> This is certainly not the only possibility, unfortunately ... for example
> why not also allow partial natural transformations ... which are less
> defined than the functor.   Here one does have to be a bit careful: a
> natural transformation must "know" the subcategory it is working with  ...
> thus defining the natural transformation as a function on arrows (rather
> than just objects) is worthwhile adjustment (see MacLane page 19, Excercise
> 5).  This then works too ....
>
> I hope this helps.
>
> -robin
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]






[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[Robin Cockett]

Ah I did say that this is certainly not the only alternative!!!!

David's suggestion also works and is interesting in its own right.

Adding a zero to categories is a monad on the category of (small)
categories which is (as far as I can see) is a perfectly good example of a
partial map classifier.  However it does not classify ALL subcategories:
once f is taken to the zero map then all composites gfh must be taken to
the zero map.   This means that the subcategory of 4 (i.e. the linear order
0 -> 1 -> 2 -> 3 ) which consists of the identity maps and the map 0 -> 3
cannot be classified (as the middle map is taken to zero).  The
subcategories which CAN be classified are exactly those which are factor
closed (i.e. fg in \X' \subseteq \X => f,g \in \X').

BTW: The original suggestion seen in this light also works: adding a
disconnected object, \X +1, is also a partial map classifier.  However, the
subcategories classified must be connection closed  (i.e. a disjoint sum
component of the category).  This may not have been quite the original
objective ....

Of course, Cat does not have a partial map classifier for ALL subcategories
... however, this does not stop one from building partial functor
categories using all partial functors which have perfectly happy natural
transformations :-) ... but there are still some choices to make along the
natural transformation road.  All choices lead to interesting alternatives
... some more interesting than others!

-robin

On Tue, Mar 17, 2015 at 9:04 AM, David Yetter <dyetter@ksu.edu> wrote:

> The previous suggestion of considering functors to D + 1 was a false start
> for reasons Fred and Uwe pointed out, but it suggests a better approach:
> consider functors to the category D~ formed from D by freely adjoining a
> zero object.  Arrows not in S now have somewhere to go (the zero arrow with
> the appropriate source and target).
>
> I think at the one-categorical level, taking Hom(C,D) to be the
> zero-preserving functors from C~ to D~, and letting C and D range over all
> small categories gives  a category isomorphic to that of small categories
> with partial  functors as arrows.
>
> Natural transformations between (zero-preserving) functors from C~ to D~
> would
> then give a reasonable notion of partial natural transformations.  It
> certainly captures some, at least, of the natural transformations "more
> partial"  than their source functor, since there will be a zero natural
> transformation between any two partial functors, corresponding to a
> "defined nowhere" partial natural transformation when zero-ness is
> interpreted as undefined as  it was in the correspondence between
> zero-preserving functors from C~ to D~ and partial functors from C to D.
>
> I'm not sure how this fits with the restrictions Robin points out.  It
> seems to allow more partial natural transformations than Robin's
> observation, since zero arrows can fill in whenever the image object under
> either the source or target functor is undefined, a partial natural
> transformation to be a natural transformation between the restrictions of
> the two partial functors to the intersections of their domain of definition
> (or a subcategory thereof).
>
> Best Thoughts,
> David Yetter
> ________________________________________
> From: Robin Cockett <robin@ucalgary.ca>
> Sent: Monday, March 16, 2015 6:12 PM
> To: Categories list
> Subject: categories: Partial functors ..
>
> David Leduc <david.leduc6 <at> googlemail.com> writes:
>
>> 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 small
>> 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.
>
>
> Here is a basic and quite natural interpretation (if someone has not
> already pointed this out):
>
> One can have a n.t  F => G iff F is less defined than G and on their common
> domain (which is just the domain of F) there is a natural transformation
> from F => \rst{F} G.   Partial functors, of course, form a restriction
> category so they are naturally partial order enriched (by restriction).
> This 2-cell structure must simply respect this partial order ...
>
> This is certainly not the only possibility, unfortunately ... for example
> why not also allow partial natural transformations ... which are less
> defined than the functor.   Here one does have to be a bit careful: a
> natural transformation must "know" the subcategory it is working with ...
> thus defining the natural transformation as a function on arrows (rather
> than just objects) is worthwhile adjustment (see MacLane page 19, Excercise
> 5).  This then works too ....
>
> I hope this helps.
>
> -robin
>
>
>
> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
>
>

--001a11c133443cbef6051181db4e
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Ah I did say that this is certainly not the only alternati=
ve!!!!<div><br></div><div>David&#39;s suggestion also works and is interest=
ing in its own right. =C2=A0</div><div><br></div><div>Adding a zero to cate=
gories is a monad on the category of (small) categories which is (as far as=
  I can see) is a perfectly good example of a partial map classifier.=C2=A0 =
However it does not classify ALL subcategories: once f is taken to the zero=
  map then all composites gfh must be taken to the zero map. =C2=A0 This mea=
ns that the subcategory of 4 (i.e. the linear order 0 -&gt; 1 -&gt; 2 -&gt;=
  3 ) which consists of the identity maps and the map 0 -&gt; 3 cannot be cl=
assified (as the middle map is taken to zero).=C2=A0 The subcategories whic=
h CAN be classified are exactly those which are factor closed (i.e. fg in \=
X&#39; \subseteq \X =3D&gt; f,g \in \X&#39;). =C2=A0=C2=A0</div><div><br></=
div><div>BTW: The original suggestion seen in this light also works: adding=
  a disconnected object, \X +1, is also a partial map classifier.=C2=A0 Howe=
ver, the subcategories classified must be connection closed =C2=A0(i.e. a d=
isjoint sum component of the category).=C2=A0 This may not have been quite =
the original objective ....</div><div><br></div><div>Of course, Cat does no=
t have a partial map classifier for ALL subcategories ... however, this doe=
s not stop one from building partial functor categories using all partial f=
unctors which have perfectly happy natural transformations :-) ... but ther=
e are still some choices to make along the natural transformation road.=C2=
=A0 All choices lead to interesting alternatives ... some more interesting =
than others!</div><div><br></div><div>-robin</div></div><div class=3D"gmail=
_extra"><br><div class=3D"gmail_quote">On Tue, Mar 17, 2015 at 9:04 AM, Dav=
id Yetter <span dir=3D"ltr">&lt;<a href=3D"mailto:dyetter@ksu.edu" target=
=3D"_blank">dyetter@ksu.edu</a>&gt;</span> wrote:<br><blockquote class=3D"g=
mail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-l=
eft:1ex">The previous suggestion of considering functors to D + 1 was a fal=
se start for reasons Fred and Uwe pointed out, but it suggests a better app=
roach:=C2=A0 consider functors to the category D~ formed from D by freely a=
djoining a zero object.=C2=A0 Arrows not in S now have somewhere to go (the=
  zero arrow with the appropriate source and target).<br>
<br>
I think at the one-categorical level, taking Hom(C,D) to be the zero-preser=
ving functors from C~ to D~, and letting C and D range over all small categ=
ories gives=C2=A0 a category isomorphic to that of small categories with pa=
rtial=C2=A0 functors as arrows.<br>
<br>
Natural transformations between (zero-preserving) functors from C~ to D~ wo=
uld<br>
then give a reasonable notion of partial natural transformations.=C2=A0 It =
certainly captures some, at least, of the natural transformations &quot;mor=
e partial&quot;=C2=A0 than their source functor, since there will be a zero=
  natural transformation between any two partial functors, corresponding to =
a &quot;defined nowhere&quot; partial natural transformation when zero-ness=
  is interpreted as undefined as=C2=A0 it was in the correspondence between =
zero-preserving functors from C~ to D~ and partial functors from C to D.<br=
>
<br>
I&#39;m not sure how this fits with the restrictions Robin points out.=C2=
=A0 It seems to allow more partial natural transformations than Robin&#39;s=
  observation, since zero arrows can fill in whenever the image object under=
  either the source or target functor is undefined, a partial natural transf=
ormation to be a natural transformation between the restrictions of the two=
  partial functors to the intersections of their domain of definition (or a =
subcategory thereof).<br>
<br>
Best Thoughts,<br>
David Yetter<br>
________________________________________<br>
From: Robin Cockett &lt;<a href=3D"mailto:robin@ucalgary.ca">robin@ucalgary=
.ca</a>&gt;<br>
Sent: Monday, March 16, 2015 6:12 PM<br>
To: Categories list<br>
Subject: categories: Partial functors ..<br>
<br>
David Leduc &lt;david.leduc6 &lt;at&gt; <a href=3D"http://googlemail.com" t=
arget=3D"_blank">googlemail.com</a>&gt; writes:<br>
<br>
&gt; A partial functor from C to D is given by a subcategory S of C and a<b=
r>
&gt; functor from S to D. What is the appropriate notion of natural<br>
&gt; transformation between partial functors that would allow to turn small=
<br>
&gt; categories, partial functors and those &quot;natural transformations&q=
uot; into<br>
&gt; a bicategory? The difficulty is that two partial functors from C to D<=
br>
&gt; might not have the same definition domain.<br>
<br>
<br>
Here is a basic and quite natural interpretation (if someone has not<br>
already pointed this out):<br>
<br>
One can have a n.t=C2=A0 F =3D&gt; G iff F is less defined than G and on th=
eir common<br>
domain (which is just the domain of F) there is a natural transformation<br=
>
from F =3D&gt; \rst{F} G.=C2=A0 =C2=A0Partial functors, of course, form a r=
estriction<br>
category so they are naturally partial order enriched (by restriction).<br>
This 2-cell structure must simply respect this partial order ...<br>
<br>
This is certainly not the only possibility, unfortunately ... for example<b=
r>
why not also allow partial natural transformations ... which are less<br>
defined than the functor.=C2=A0 =C2=A0Here one does have to be a bit carefu=
l: a<br>
natural transformation must &quot;know&quot; the subcategory it is working =
with ...<br>
thus defining the natural transformation as a function on arrows (rather<br=
>
than just objects) is worthwhile adjustment (see MacLane page 19, Excercise=
<br>
5).=C2=A0 This then works too ....<br>
<br>
I hope this helps.<br>
<br>
-robin<br>
<br>
<br>
<br>
[For admin and other information see: <a href=3D"http://www.mta.ca/~cat-dis=
t/" target=3D"_blank">http://www.mta.ca/~cat-dist/</a> ]<br>
<br>
</blockquote></div><br></div>

--001a11c133443cbef6051181db4e--


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[Giorgio Mossa]

It seems to me that this way of modelling partial functors via functors 
doesn't work too.

Consider the following example:
let C be a category with two objects, let's call them x0 and x1
and suppose that

* C[x0,x1] = C[x1,x0] are singletons whose elements we will call i and j respectively
that are one inverse to each other
* C[x0,x0] = C[x1,x1] = N the monoid of natural numbers

S is the full subcategory of C containing just the object x0, i.e. is the monoid
of natural number N seen as a category.

There's an obvious functor P : S -> N, which is an isomorphism, by definition.
This gives us a *non trivial* partial functor, nonetheless
if we take by N~ to be the category obtained by adding freely a zero object to N
a functor P' : C -> N~ that sends the object x1 in the zero object of N~
should send also x0 in the zero object because x0 and x1 are isomorphic in C and
functors preserve isomorphisms. Since N~ is obtained by adding freely a zero
object this implies that P' should be a constant functor and it could be the only
functor sending the objects of C not in S in the zero object.

This example seems to show that the adding a zero object may not be a solution to the problem.

If I correctly understood Robin Cockett's construction below it seems something like this

The category of partial functor from C to D should be a subcategory of the comma-category
(Cat,D) where:

* objects are functors P : S -> D, where S is a subcategory of C
* morphisms from an object P : S -> D to an object P' : S' -> D are
pairs (I,a) where I : S -> S' is an embedding of (sub)categories and
a : P -> P'?I is a natural transformation between these two functors in Cat[S,D].

Composition between functors (in order to get a 2-category) should be defined in the obvious way.

Giorgio

On Tue, Mar 17, 2015 at 03:04:54PM +0000, David Yetter wrote:
> The previous suggestion of considering functors to D + 1 was a false start for reasons Fred and Uwe pointed out, but it suggests a better approach:  consider functors to the category D~ formed from D by freely adjoining a zero object.  Arrows not in S now have somewhere to go (the zero arrow with the appropriate source and target).
>
> I think at the one-categorical level, taking Hom(C,D) to be the zero-preserving functors from C~ to D~, and letting C and D range over all small categories gives  a category isomorphic to that of small categories with partial  functors as arrows.
>
> Natural transformations between (zero-preserving) functors from C~ to D~ would
> then give a reasonable notion of partial natural transformations.  It certainly captures some, at least, of the natural transformations "more partial"  than their source functor, since there will be a zero natural transformation between any two partial functors, corresponding to a "defined nowhere" partial natural transformation when zero-ness is interpreted as undefined as  it was in the correspondence between zero-preserving functors from C~ to D~ and partial functors from C to D.
>
> I'm not sure how this fits with the restrictions Robin points out.  It seems to allow more partial natural transformations than Robin's observation, since zero arrows can fill in whenever the image object under either the source or target functor is undefined, a partial natural transformation to be a natural transformation between the restrictions of the two partial functors to the intersections of their domain of definition (or a subcategory thereof).
>
> Best Thoughts,
> David Yetter
> ________________________________________
> From: Robin Cockett <robin@ucalgary.ca>
> Sent: Monday, March 16, 2015 6:12 PM
> To: Categories list
> Subject: categories: Partial functors ..
>
> David Leduc <david.leduc6 <at> googlemail.com> writes:
>
>> 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 small
>> 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.
>
>
> Here is a basic and quite natural interpretation (if someone has not
> already pointed this out):
>
> One can have a n.t  F => G iff F is less defined than G and on their common
> domain (which is just the domain of F) there is a natural transformation
> from F => \rst{F} G.   Partial functors, of course, form a restriction
> category so they are naturally partial order enriched (by restriction).
> This 2-cell structure must simply respect this partial order ...
>
> This is certainly not the only possibility, unfortunately ... for example
> why not also allow partial natural transformations ... which are less
> defined than the functor.   Here one does have to be a bit careful: a
> natural transformation must "know" the subcategory it is working with ...
> thus defining the natural transformation as a function on arrows (rather
> than just objects) is worthwhile adjustment (see MacLane page 19, Excercise
> 5).  This then works too ....
>
> I hope this helps.
>
> -robin
>

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Re: Partial functors ..

[David Yetter]

The previous suggestion of considering functors to D + 1 was a false start for reasons Fred and Uwe pointed out, but it suggests a better approach:  consider functors to the category D~ formed from D by freely adjoining a zero object.  Arrows not in S now have somewhere to go (the zero arrow with the appropriate source and target).

I think at the one-categorical level, taking Hom(C,D) to be the zero-preserving functors from C~ to D~, and letting C and D range over all small categories gives  a category isomorphic to that of small categories with partial  functors as arrows.

Natural transformations between (zero-preserving) functors from C~ to D~ would
then give a reasonable notion of partial natural transformations.  It certainly captures some, at least, of the natural transformations "more partial"  than their source functor, since there will be a zero natural transformation between any two partial functors, corresponding to a "defined nowhere" partial natural transformation when zero-ness is interpreted as undefined as  it was in the correspondence between zero-preserving functors from C~ to D~ and partial functors from C to D.

I'm not sure how this fits with the restrictions Robin points out.  It seems to allow more partial natural transformations than Robin's observation, since zero arrows can fill in whenever the image object under either the source or target functor is undefined, a partial natural transformation to be a natural transformation between the restrictions of the two partial functors to the intersections of their domain of definition (or a subcategory thereof).

Best Thoughts,
David Yetter
________________________________________
From: Robin Cockett <robin@ucalgary.ca>
Sent: Monday, March 16, 2015 6:12 PM
To: Categories list
Subject: categories: Partial functors ..

David Leduc <david.leduc6 <at> googlemail.com> writes:

> 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 small
> 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.


Here is a basic and quite natural interpretation (if someone has not
already pointed this out):

One can have a n.t  F => G iff F is less defined than G and on their common
domain (which is just the domain of F) there is a natural transformation
from F => \rst{F} G.   Partial functors, of course, form a restriction
category so they are naturally partial order enriched (by restriction).
This 2-cell structure must simply respect this partial order ...

This is certainly not the only possibility, unfortunately ... for example
why not also allow partial natural transformations ... which are less
defined than the functor.   Here one does have to be a bit careful: a
natural transformation must "know" the subcategory it is working with ...
thus defining the natural transformation as a function on arrows (rather
than just objects) is worthwhile adjustment (see MacLane page 19, Excercise
5).  This then works too ....

I hope this helps.

-robin



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Partial functors ..

[Robin Cockett]

David Leduc <david.leduc6 <at> googlemail.com> writes:

> 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 small
> 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.


Here is a basic and quite natural interpretation (if someone has not
already pointed this out):

One can have a n.t  F => G iff F is less defined than G and on their common
domain (which is just the domain of F) there is a natural transformation
from F => \rst{F} G.   Partial functors, of course, form a restriction
category so they are naturally partial order enriched (by restriction).
This 2-cell structure must simply respect this partial order ...

This is certainly not the only possibility, unfortunately ... for example
why not also allow partial natural transformations ... which are less
defined than the functor.   Here one does have to be a bit careful: a
natural transformation must "know" the subcategory it is working with ...
thus defining the natural transformation as a function on arrows (rather
than just objects) is worthwhile adjustment (see MacLane page 19, Excercise
5).  This then works too ....

I hope this helps.

-robin


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]