Bartosz Milewski's Programming Cafe
Category Theory, Haskell, Concurrency, C++
- Website
- bartoszmilewski.com · all feeds from this site
- Feed URL
https://bartoszmilewski.com/feed/
Read it in your FeedListing reader
Or add to: Feedly Inoreader Raw feed
Latest posts
-
Tannakian Reconstruction in a Yoneda Equipment
The reason I bored you with the Yoneda equipment was to eventually double back to Tannakian reconstruction. In a nutshell, Tannakian reconstruction lets us reconstruct the hom-set from a set of natural transformations between fiber functors: Here, the end goes over the presheaf…
-
Yoneda Lemma in Double Categories
Working with double categories can be aptly summarized in a meme: Talk to me about sets without mentioning sets. We don’t talk about hom-sets, we talk about horizontal units. Secretly, we are visualizing horizontal arrows as profunctors, and the unit of profunctor composition is…