4 ms·

Don't think anybody told me that, but I do believe it to be the case

• cess11 2y ago
  Why?
  • klysm 2y ago
    Category theory is equivalent to type theory.
    • iLemming 2y ago
      It's probably more accurate to say that they are complementary rather than equivalent. - Category theory emphasizes morphisms and composition - Type theory emphasizes terms and computation There are important correspondences between them (like the Curry-Howard-Lambek correspondence), but they have different strengths and different ways of expressing concepts. Sorry, I couldn't resist the temptation of being a pedantic formalist.