Good news! The twists and turns on this page have culminated in Functors and generalized elements. From there, I drew the diagram
Staring at this diagram resulted in the following:
Given categories and , a functor is a map that sends each object in to an object in and each morphism in to a morphism in such that each commuting diagram in maps to a commuting diagram in .
This has now been included in the definition of functor.
Note this is still essentially the same thing as conveyed in my earlier picture
requiring the square commutes, but is done in a way that avoids introducing the non-standard morphism-like components .
In other words, if we stopped worrying about what really was and simply accepted that the indicated square commutes, it implies automatically that any commuting diagram in maps to a commuting diagram in .
This page is an informal/speculative discussion of an alternative (yet hopefully equivalent) definition of functor. It first appeared as a discussion at functor itself, but was subsequently moved here.
I think I may have found a way to express this idea without resorting to non-standard morphism-like maps or cographs.
Given categories and , a map is a functor if for every morphism in
Let’s check…
Since this is true for all morphisms and , we have
as required.
Next,
as required.
Therefore, it seems to work.
Note this is still essentially the same thing as conveyed in my earlier picture
requiring the square commutes, but is done in a way that avoids introducing the non-standard morphism-like components.
After Discussion 1.0 below, it seems that the original intention of this page was to define a functor in terms of a cograph. Given a functor, it is straightforward to construct its cograph. However, it may be possible to do the reverse, i.e. start with a cograph and infer the functor that gives rise to that cograph.
Is it possible to define a functor in terms of cograph? If so, how?
Given small categories and define their disjoint union to be the category with
and
There are two inclusion maps
defined for any morphism in and morphism in by
and
Given categories , and inclusion maps , , a functor is a map together with component morphisms and for any morphism in such that the following diagram commutes:
Todd: If means the disjoint union of and , then there are no morphisms of the form .
Eric: Hi Todd. I saw your comment after I added the figure above. I am probably not expressing myself clearly. I want to get and into the same category while preserving all morphisms and then ADD components and . Is that kind of thing allowed?
I think the picture expresses what I’m trying to do, but maybe I’m converting that into the wrong formulas.
Eric: The idea is that by requiring every such square to commute, you automatically get and . Or so I think…
Eric: Not to mention, this looks more like a natural transformation, so a pattern is more apparent.
Todd: What I was saying is that wherever these are supposed to live, it’s can’t be in , because in , there simply are no morphisms of that form.
Your picture suggests that you have in mind some category into which and embed; it can’t be since your simply don’t exist there. But it’s some in which such morphisms exist, let’s say. Then it looks like your notion of functor involves the following things:
Embeddings (full embeddings?) , into some category .
A rule which assigns to each object of an object of , and to each morphism of a morphism of . In other words, a map between the underlying directed graphs of and .
A rule which assigns to each object of a morphism , making that square commute.
Okay, so far these conditions don’t ensure functoriality: that and . You’re going to have to add more conditions to make that inference. For example, suppose has just one morphism from each object to each object of . Then commutativity of those squares is automatic, for any directed graph morphism . Insofar as not all graph morphisms are functorial, you can’t infer functoriality.
You could ask that all the be isomorphisms. Then commutativity plus that condition would give functoriality, and your concept amounts to that of ordinary functor together with an ordinary natural isomorphism .
But the trouble with all this is that I have no idea what is supposed to be! It can’t be . Would it be something constructed in terms of and (and if so, what)? If it’s just any old category into which and embed and for which such isos exist (and compatible with the via commutative diagrams), then I have problems with that too.
Eric; Hi Todd. I think I’m confused because with the standard definition of functor no one ever complains about writing , so in a way, isn’t an arrow from to ? We also write , which makes me think is a bunch of 1-arrows and 2-arrows. I mean, doesn’t the picture make sense? Why is it so hard to convert the picture to a mathematical statement?
: Toby: Eric, here you seem to be conflating these two arrows: and . At the level of functions between sets, if and are sets and is a function from to , then I write or . Then if is an element of and is an (the) element of such that , then I write or . Or without bothering with , I write or . (Actually, this is best when ‘’ is a variable and ‘’ is a formula in terms of that variable; for example, if is the squaring function, then I write or , and this serves to define .)
: Actually, you can find a lot of literature where the same symbol ‘’ is used for both and , but they are still different concepts.
: Of course, what the cograph gets you is that it turns into a special case of . But they are still different; is an arrow in the category of sets or (in the categorified case) in the -category of categories, while is (only in the categorified case) an arrow in the cograph of .
Eric: Hmm.. but we ARE talking about cographs :) At least I was accidentally :)
Urs Schreiber: concerning the nature of : as I suggested before, it does make sense to take this to be the cograph of a functor. And indeed, in some situations it is useful to define the notion of functor in terms of the notion of cograph. In Higher Topos Theory the notion of adjoint (infinity,1)-functor is defined entirely in terms of cographs of functors.
Eric: Thanks Urs. Now I just need to parse what you say into something I can understand, but it is encouraging. In fact, quoting myself from earlier in the discussion:
It seems like maybe I am trying to work backwards, i.e. define a functor via a cograph.
When I tried to grok “cograph” on my personal web Natural Transformation, I stripped out the line including the functor and with Toby’s help, realized what I (think I) was talking about was the disjoint union of categories.
I guess, my plan of attack now is to see how we can define functor via cograph. For some reason, that makes sense to me.
Todd: Yes, that’s true, the cograph is fine. I thought that Eric had wanted a which would uniformly work, independently of which functor was being considered. Instead, we construct the cograph in terms of , and everything is for the best in this best of all possible worlds. And we get the picture Eric was aiming for.
Eric: Neat. Now, if we (I’ll try, but I’m not confident and wouldn’t mind if someone else did it!) can write down a succinct definition of functor in terms of cographs with a picture like the one above (if not that one), we could add it to functor.
Eric: By the way, here is something I wrote on my personal web Natural Transformation:
Urs Schreiber: at cograph it is indicated how that concept encodes the notion of profunctor which is a bit more general than that of functor.
Eric: Oh! That is pretty! Thanks. I like this diagram
\array{
R &\to& {*}
\\
\downarrow && \downarrow
\\
X \times Y &\stackrel{\chi_R}{\to}& \{0,1\}
}
>I need to think about it, but a vale of fog has been lifted. More fog remains, but thanks!
***
###Definition###
Given small categories $A$ and $B$ define their **disjoint union** $A\sqcup B$ to be the category with
$$Obj(A\sqcup B) = Obj(A)\sqcup Obj(B)
and
There are two inclusion maps
defined for any morphism in and morphism in by
and
I intentionally did not use the word “functor” above even though that is really the coproduct in Cat. The reason is that I want to use this disjoint union to define a functor. The following is a possible starting point:
Given categories , and inclusion maps , , a functor is a map that assigns morphisms and for any morphism in such that the following diagram commutes:
Eric: Motivated by some discussion over at natural transformation, I was wondering if the following alternative definition of functor holds water:
Definition
Given categories , , a functor is a map that assigns maps and for any morphism in such that the following diagram commutes:
\array{
x
&
\stackrel{f}{\to}
&
y
\\
\mathllap{\scriptsize{\alpha_x}}\downarrow
&&
\downarrow\mathrlap{\scriptsize{\alpha_y}}
\\ F(x)
&
\stackrel{F(f)}{\to} & F(y)
}
\array{ i_A(x) & \stackrel{i_A(f)}{\to} & i_A(y) \ \mathllap{\scriptsize{\alpha_x}}\downarrow && \downarrow\mathrlap{\scriptsize{\alpha_y}} \ i_B\circ F(x) & \stackrel{i_B\circ F(f)}{\to} & i_B\circ F(y) }
Last revised on March 28, 2010 at 17:21:45. See the history of this page for a list of all contributions to it.