← Feed

Posts

• Post #3070440

  @sjoerd_visscher I worked out the right adjoints to profunctor composition. Do you already have it in your library? https://v15.next.forgejo.org/BartoszMilewski/Categories/src/branch/main/src/ProfClosed.hs

• Post #3023688

  TIL that Haskell module names cannot start with a number. I have a bunch of Haskell files for my book, whose names start with chapter numbers. I can compile them, but when I tried to add them to a cabal file, I was thwarted. What could be the reason for such a restriction, one wonders.

• Post #3023687

  @sjoerd_visscher I decided to write a post about my toy implementation of profunctor equipments. Here's the preview. https://bartoszmilewski.com/?p=14290&preview=1&_ppp=770ff31cfc

• Post #3023686

  Another blog post in the series on profunctor equipment https://bartoszmilewski.com/2026/05/16/profunctor-equipment-in-haskell/

• Post #3023684

  A new post in the series on double categories and profunctor equipment. https://bartoszmilewski.com/2026/05/18/bending-yanking-and-cartesian-squares-in-double-categories/

• Post #3023683

  Another installment in the series on Double Categories and Profunctor Equipments. https://bartoszmilewski.com/2026/05/23/tabulation-tribulations/

• Post #3023677

  Programmers might be able to compete with the AI after all. As long as human intellectual labor is cheaper. https://www.aol.com/finance/microsoft-ceo-sends-shocking-message-163700210.html

• Post #3023674

  In the future, body shaming will be the AI making fun of people who have bodies

• Post #2562337

  Democracy is like health: You don't appreciate it until you lose it.

• Post #2449666

  I just realized that Chekhov's Gun is an example of linear logic. It's a premise that has to be consumed at some point in the plot.

• Post #2449665

  Haskell implementation of 2-cells in profunctor equipment

• Post #2397684

  Homeopathy in computer science: Take a random sequence and sort it ten times. How much of the original sequence can you recover?

• Post #2397683

  I decided to popularize double categories using profunctor equipment as a model. https://bartoszmilewski.com/2026/04/24/profunctor-equipment/

• Post #2397682

  Filling my whiteboard with string diagrams. Comma objects and Kan extensions in a double category

• Post #2397681

  Ultrafinitists wanted to organize a conference but the only place that still had rooms available was the Hilbert Hotel

• Post #1616994

  Finishing a blog post on profunctor equipments. Unit and counit of the adjunction between companions and conjoints in a double category.