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 a freelance software engineer in Malaysia. The time I first heard Category Theory was when I was in a discussion with a fellow software engineer when we discussed functional programming. Then I was told about this web page adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html and later found Option type in Rust is actually an implementation to this.

I then try to learn Category theory but couldn't find one that suits my current level of understanding, they are either overly leaned towards software engineering side which put the emphasis on software engineer terms (applying them in a language I am not familiar with is another problem), or there are simply too much abstract mathematics theories involved.

Then I came across this series of talk/seminar/workshop

https://www.youtube.com/watch?v=IBeceQHz2x8

and found the 7sketches course. I find it beginner-friendly enough and went through the whole course, but as the course progresses I get more confused @.@

After finding time to finish following the lectures posted on Youtube (with the companion text), I still find myself having problems connecting the ideas presented throughout the course. Then I found the new reincarnation of the course introduced this year, where they teach programming in Haskell while applying Category Theory to it. So far this feels like a more beginner-friendly course, can't tell if this is just because of repetition and forcing myself to immerse into the subject by the exposure to materials in Category.

Not sure what can I contribute back to the community, being a total newbie in a lot of things. I have a github account: Jeffrey04 and maintain a blog for random work notes, I guess I figure out as time progresses.

Thanks for having me.

Siang

## Comments

Hi Siang! Thank you for being here and introducing yourself. I am also learning category theory but am unfamiliar with functional programming. So I appreciate your perspective as you study and think out loud. I am currently trying to understand connections between category theory and computation and then relate that to my philosophical work.

`Hi Siang! Thank you for being here and introducing yourself. I am also learning category theory but am unfamiliar with functional programming. So I appreciate your perspective as you study and think out loud. I am currently trying to understand connections between category theory and computation and then relate that to my philosophical work.`

Hey hello there (:

I suppose picking up a functional language should help, and the Programming with category course is great especially when you are also learning category theory. My notes for the course is here (currently at lecture 9): https://1drv.ms/o/s!Am5pubnTnjqSkjY_eGNq3M1oYSnt

`Hey hello there (: I suppose picking up a functional language should help, and the Programming with category course is great especially when you are also learning category theory. My notes for the course is here (currently at lecture 9): https://1drv.ms/o/s!Am5pubnTnjqSkjY_eGNq3M1oYSnt`

Welcome! Thanks for sharing your notes.

`Welcome! Thanks for sharing your notes.`

no worries, just thought it may be useful in discussion/enquiries (am in a very confused state since lecture 8 lol)

`no worries, just thought it may be useful in discussion/enquiries (am in a very confused state since lecture 8 lol)`