dimitrispapadimitriou

I have more than 14 years’ experience as full stack developer and Architect. speak natively JavaScript, Typescript and C#

Joined on Jul 28, 2019 https://leanpub.com/u/dimitrispapadim

𝙏𝙮𝙥𝙚𝙎𝙘𝙧𝙞𝙥𝙩 , 𝙅𝙖𝙫𝙖𝙨𝙘𝙧𝙞𝙥𝙩, 𝘾#, .NET, Java

Currently, I am interested in Homotopy Type Theory (HoTT), Categorical Logic and Categorical Semantics.

1 post published

4 comments written

2 tags followed

Oct 15 '20

Composing Functors

3 min read

Create an account to connect with dimitrispapadimitriou . You can also sign in below to proceed if you already have an account.

Already have an account? Sign in