Identity Types (bartoszmilewski.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of bartoszmilewski.com: Identity Types

First screen, captured 1 year ago.

Looks similar

Screenshot of bartoszmilewski.com: Identity Types

Identity Types (bartoszmilewski.com)

6 points by ibobev 1 year ago | 0 comments

Screenshot of bartoszmilewski.com: Homotopy Equivalences

Homotopy Equivalences (bartoszmilewski.com)

64 points by ibobev 1 year ago | 14 comments

Screenshot of bartoszmilewski.com: Profunctor Equipment in Haskell

Profunctor Equipment in Haskell (bartoszmilewski.com)

35 points by g0xA52A2A 5 months ago | 13 comments

Screenshot of bartoszmilewski.com: Actegories

Actegories (bartoszmilewski.com)

38 points by ibobev 3 months ago | 6 comments

Screenshot of bartoszmilewski.com: Yoneda Lemma in Double Categories

Yoneda Lemma in Double Categories (bartoszmilewski.com)

3 points by ibobev 1 month ago | 0 comments

Screenshot of bartoszmilewski.com: Tannakian Reconstruction

Tannakian Reconstruction (bartoszmilewski.com)

24 points by ibobev 3 months ago | 2 comments