Finally, I find myself with enough motivation to start writing the last part to this series. It’s been a while, but hopefully nobody has actually been waiting… This is where we will finally see some of the exciting applications of (co)ends, including tensor products, geometric realisation, and Day convolution. One reason I’ve got around to writing this post is because coends (or, really, cowedges) appeared to me recently in a tweet about Stokes’ theorem, which I found pretty neat indeed — more details can be found in this post.

Continue reading →
5th

Sep

2019

Sep

2019

14th

Jul

2019

Jul

2019

#### Cauchy completion and profunctors

14th July, 2019An idea that came up in a few talks at CT2019 was that of ‘spans whose left leg is a left adjoint’. I managed (luckily) to get a chance to ask Mike Shulman a few questions about this, as well as post in `#math.CT:matrix.org`

. What follows are some things that I learnt (mostly from [BD86]).