Blog

Bisimulations, Equality and Traces
Today in Theory of Concurrency class we saw how, in certain variants of CCS, bisimilarity is larger than equality of traces as in it distinguishes more things than equality.

The mini Yoneda lemma for Type Theorists
Disclaimer: I took this from a lecture by Roy Crole at the MGS 2018 which I thought it was great!

CCCs are not complete models of STLC
Now that I have caught your attention with a completely outrageous title I will explain what I mean by this.

The Axiom of Choice: An easy explanation.
The Axiom of Choice (AC) is a controversial axiom in set theory that states that the product of a family of nonempty sets is itself nonempty.
First off, I do not consider myself an expert on set theory, but after having this kind of conversation with mathematicians and computer scientists I found there are some misconceptions around this axiom and the reasons why it is needed.

Inconsistencies in Cartesian Closed Categories with fixedpoints
Yesterday I had yet another interesting conversation with Zhixuan Yang where I pointed out that there is a very nice paper paper stating that