louisGarde

I suggest that you use the Hott amateurs group to ask for a feedback from beginners: what are the concepts that were the more difficult to understand with no/poor background...

With no knowledge in category theory I have found it hard to understand intuitively the notion of recursion/induction: - for N recursion/induction seems easy, but the fact that type theory...

For me, "truth value" refers to either "true" or "false", that we can identify with the terms of type 2 (as mentionned in chapter 1.8). So with my background, I...