It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2.4K
- Chat 505
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 719

Options

Hello! I am Jad Issa. I am a student of electrical engineering and I'm very interested in Category Theory and Functional Programming. I started learning functional programming with SICP https://en.wikipedia.org/wiki/Structure_and_Interpretation_of_Computer_Programs and I really enjoyed it. I have then researched more into programming theory and I'm learning more about lambda calculus and type theory and such fields. In fact, somewhat recently, I have found out about Homotopy Type Theory from a bunch of videos by Thorsten Alternkirch on the Computerphile channel on Youtube. Here's one of them https://www.youtube.com/watch?v=SknxggwRPzU

I started researching quite a bit then, and I found category theory which I just loved. I found out that that's the stuff I'd like to work on in the future. I'm now learning mostly from the videos of David Spivak at LambdaConf and from 'Category Theory' by Steve Awodey.

https://www.youtube.com/watch?v=IBeceQHz2x8&list=PLFTBfi-r3xj2jEpzoKl2koVLg1UrE9YL-

Since I started learning category theory (pretty recently), I have begun finding categories in really non-mathematical things, and that only made me love Category Theory even more.

I have always been fascinated by mathematics and theoretical computer science, and I'm planning to continue my career as a researcher in these fields. I have founded clubs, and discussion groups and other things like this forum to try to find like-minded people to work with them on Category Theory. And that's what made me join this forum. In fact, I'm planning to change to a double major of mathematics and computer science next year to help push myself into research and academia. In this regard, Category Theory and Homotopy Type Theory are prime candidates for future research fields I could work on because I simply loved them.

Incidentally, it turned out a main focus of this project is environmental protection, which is a thing I'm really really interested in. So that's 2 in 1 :P

I hope that I can get to know people and learn more about category theory from this forum as well as contribute to the community.

## Comments

Hi! The forum is not very active now, but you can still get a lot out of it by starting the course here:

You'll see 77 "lectures" on Fong and Spivak's book (which is free online), and lots of solved exercises, and lots of discussion. You can ask questions on these lectures, but I'm busy enough that I don't promise to answer them! If you want to grab my attention, you can post a comment on the Azimuth Blog, for example here:

This post is about the seminar we're currently running at UCR, which has videos and such.

`Hi! The forum is not very active now, but you can still get a lot out of it by starting the course here: * [[Applied Category Theory Course]]. You'll see 77 "lectures" on Fong and Spivak's book (which is free online), and lots of solved exercises, and lots of discussion. You can ask questions on these lectures, but I'm busy enough that I don't promise to answer them! If you want to grab my attention, you can post a comment on the Azimuth Blog, for example here: * [Applied Category Theory Seminar](https://johncarlosbaez.wordpress.com/2018/12/14/applied-category-theory-seminar/). This post is about the seminar we're currently running at UCR, which has videos and such.`

Hello! Thanks for sharing these with me; I will surely go through them. I always try to find more resources on category theory online, but I'm not always successful in doing that.

Not many people work on category theory, and it's difficult to find someone who could help me whenever I get stuck. My instructors at university don't know much, if at all, about category theory, so they're generally not that helpful :P So thanks for offering help! :-)

`Hello! Thanks for sharing these with me; I will surely go through them. I always try to find more resources on category theory online, but I'm not always successful in doing that. Not many people work on category theory, and it's difficult to find someone who could help me whenever I get stuck. My instructors at university don't know much, if at all, about category theory, so they're generally not that helpful :P So thanks for offering help! :-)`