Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
This is my first (substantial) contribution to the nLab, so forgive my likely ineptitude. This wants to be a initial stub, everything is basically scraped from the reference and this post: https://golem.ph.utexas.edu/category/2019/07/structured_cospans.html Clearly a lot of material can be added, included a better definition and clearer examples. It’s also quite necessary to make a page for decorated cospans. I might start it myself later this month.
mattecapu
Just want to say it looks good. Sure, there might be some minor formatting (maybe a sidebar or something, table of contents) to do, but it’s certainly far better than some other newbies.
Hi mattecapu,
could you maybe add an explicit definition of “structured cospan”? As in “A structured cospan is…”.
Currently the only place where we learn what is meant is only implicit in the third bullet item of the definition of that double category.
Otherwise there is some grammar to be fixed, various singular/plural issues.
Yes, a good start. Are there any standard ways to motivate these constructions?
I agree that the page is a good start. One suggestion I might make is to start with motivation for the concept in general, rather than only in contrast to decorated cospans; the comparison to decorated cospans could then be a section lower down on the page.
replaced quiver with directed graph.
Notice that “quiver” is a concept with an attitude and it’s not the relevant attitude here.
I have added the missing “the notion of” in:
The notion of a structured cospan is a modification of the concept of decorated cospans
and added the presumeably intended “of decorated cospans” in:
introduced to provide an improved definition of isomorphism classes of decorated cospans
also, I have added floating context menus to the entry
I have added publication data to
and I will give poor Kenny Courser an author page now, to fix all the broken links to his name requested on this page
1 to 14 of 14