nForum - Discussion Feed (free diagram) 2023-09-25T02:12:33+00:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher Urs comments on "free diagram" (62477) https://nforum.ncatlab.org/discussion/7734/?Focus=62477#Comment_62477 2017-05-06T08:03:24+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ Okay, I have expanded the entry, hopefully now it’s clearer. I re-iterate that the motivation for this entry was not the desire to record the abstract definition of free diagrams, which is ...

Okay, I have expanded the entry, hopefully now it’s clearer.

I re-iterate that the motivation for this entry was not the desire to record the abstract definition of free diagrams, which is trivial, but to use this special case to give an expository discussion of limits and colimits that entirely avoids the language of categories and functors, and just expresses everything in components.

Earlier at diagram – Component definition I had tried this kind of exposition in the general case, for possibly non-free shapes. But (obvious as that may have been from the outset) this didn’t really give a low-weight exposition as intended. So then I came to think that admitting for non-free shape categories is overkill for an exposition anyway, since the bulk of first examples of limits/colimits that one will want to display in an exposition are all over just free diagrams.

]]>
Urs comments on "free diagram" (62475) https://nforum.ncatlab.org/discussion/7734/?Focus=62475#Comment_62475 2017-05-05T20:20:19+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ Isn’t it clear in the sentence A free diagram in a category &Cscr;\mathcal{C} is a particularly simple special case of the general concept of a diagram X ...

Isn’t it clear in the sentence

A free diagram in a category $\mathcal{C}$ is a particularly simple special case of the general concept of a diagram $X_\bullet \;\colon\; \mathcal{I} \to \mathcal{C}$,

that $X_\bullet$ is a functor?

]]>
Todd_Trimble comments on "free diagram" (62474) https://nforum.ncatlab.org/discussion/7734/?Focus=62474#Comment_62474 2017-05-05T20:15:28+00:00 2023-09-25T02:12:33+00:00 Todd_Trimble https://nforum.ncatlab.org/account/24/ the latter are strictly speaking not themselves diagrams in &Cscr;\mathcal{C}, as they are not functors to &Cscr;\mathcal{C}. Except as far as I can tell, your definition of free diagram is ...

the latter are strictly speaking not themselves diagrams in $\mathcal{C}$, as they are not functors to $\mathcal{C}$.

Except as far as I can tell, your definition of free diagram is not phrased in terms of functors – it really is the same as a morphism of directed graphs.

]]>
Urs comments on "free diagram" (62473) https://nforum.ncatlab.org/discussion/7734/?Focus=62473#Comment_62473 2017-05-05T20:11:59+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ I should say that I am using this kind of exposition in section 6 of Introduction to Topology – 1. (That section and the following ones are still under construction. Sections 1-5 though are ...

I should say that I am using this kind of exposition in section 6 of Introduction to Topology – 1.

(That section and the following ones are still under construction. Sections 1-5 though are pretty much polished.)

]]>
Urs comments on "free diagram" (62472) https://nforum.ncatlab.org/discussion/7734/?Focus=62472#Comment_62472 2017-05-05T19:19:56+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ A free diagram, as it is currently defined, is the same thing as a morphism of directed graphs. Maybe not quite. While functors out of the free category on a directed graph DD into some category ...

A free diagram, as it is currently defined, is the same thing as a morphism of directed graphs.

Maybe not quite. While functors out of the free category on a directed graph $D$ into some category $\mathcal{C}$ (which is what the entry considers) are in natural bijection to homorphisms from $D$ to the underlying graph of $\mathcal{C}$, the latter are strictly speaking not themselves diagrams in $\mathcal{C}$, as they are not functors to $\mathcal{C}$.

]]>
Dmitri Pavlov comments on "free diagram" (62470) https://nforum.ncatlab.org/discussion/7734/?Focus=62470#Comment_62470 2017-05-05T19:14:33+00:00 2023-09-25T02:12:33+00:00 Dmitri Pavlov https://nforum.ncatlab.org/account/356/ A free diagram, as it is currently defined, is the same thing as a morphism of directed graphs. Perhaps this is worthy of pointing out. (And a category is a monoid in directed graphs, so a free ...

A free diagram, as it is currently defined, is the same thing as a morphism of directed graphs. Perhaps this is worthy of pointing out. (And a category is a monoid in directed graphs, so a free category is the same thing as a free monoid.)

]]>
Urs comments on "free diagram" (62467) https://nforum.ncatlab.org/discussion/7734/?Focus=62467#Comment_62467 2017-05-05T18:22:26+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ In fact at commuting diagram all pointers to “diagram” are meant to go to “free diagram”, so I changed them. I also replaced all occurences of “quiver” there with “free category”.

In fact at commuting diagram all pointers to “diagram” are meant to go to “free diagram”, so I changed them. I also replaced all occurences of “quiver” there with “free category”.

]]>
Urs comments on "free diagram" (62466) https://nforum.ncatlab.org/discussion/7734/?Focus=62466#Comment_62466 2017-05-05T18:05:51+00:00 2023-09-25T02:12:33+00:00 Urs https://nforum.ncatlab.org/account/4/ Presently I am concerned with the following: I want to teach some basics of limits and colimits of topological spaces to undergraduates. I had tried to gently introduce some category theoretic ...

Presently I am concerned with the following: I want to teach some basics of limits and colimits of topological spaces to undergraduates. I had tried to gently introduce some category theoretic terminology as I introduced topological spaces as such, but a little testing reveals that part of the audience would rather not see these side remarks turn out to become required reading.

But now since all the shapes of diagrams that I’d be about to consider anyway are free, I figured I circumvent the need to speak of diagrams as functors by restricting to free domains and simply giving everything explicitly in components, with the underlying category theory again relegated to side-remarks that may be ignored at will.

I am trying my hands at an exposition of this kind in a new entry free diagram.

Eventually this kind of material might also be worthwhile as introductory exposition at limits and colimits by example.

]]>