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

- All Categories 2.2K
- Applied Category Theory Course 354
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 39

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

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.

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! :-)`