Skip to content(if available)orjump to list(if available)

Category Theory Illustrated: Logic(2021)

Category Theory Illustrated: Logic(2021)

20 comments

·October 25, 2024
Visit

Krei-se

This is such a great page, i love it and came across it multiple times while studying the matter.

I still would vote to learn it from Milewski though. Learning this is a journey and the author of ct-illustrated is, i think, still in the middle of it.

Milewski has made that trip multiple times already. The book and his blog are great places.

https://github.com/hmemcpy/milewski-ctfp-pdf Book https://bartoszmilewski.com/2014/10/28/category-theory-for-p... Blog

revskill

I don't understand what bartoszmilewski talked about, so his book seems useless to me. But at work i use category theory for all of my domain model.

Krei-se

Oh, i can solve this: You will understand his work better once you step out of the narrow category of your work domain model.

revskill

He uses math term to explain the math. No way i will use that method to understand the subject.

iman453

Would you be willing to share more about your domain modeling and how category theory helped?

Krei-se

He can abstract more models in general frameworks (This is true for every job). He just is hesitant taking the leap to go all Camus and derive money from absurdism ;)

psychoslave

Discussed at the time, though with an other URL:

https://news.ycombinator.com/item?id=28660131 (2 comments)

https://news.ycombinator.com/item?id=28660157 (112 comments)

tezka

Any body can share a success story of using category theory gainfully to any CS/SWE problem that couldn't have been solved without? No Monads isn't one, you would invent it naturally when the situation calls for it. I spent a year studying in grad school and I ultimately abandoned it.

umanwizard

[delayed]

dambi0

Determining whether something is useful because it’s the only way that a problem can be solved is quite a high bar.

We could say the same about computers in general.

Admittedly even with a less stringent criteria I don’t have any examples. So I understand your point

Krei-se

You are very close. CT is about structure, not which problem this structure solves. Compilers are closest in what i can think of in this regard: They don't resolve one problem domain, but many. Which one you apply it on is up to you.

One tool for one job is a simple rule you can adapt as a systems architect allowing you to build clear structure for the problem domain you come across. esbuild comes to mind as an example - the job was solved before, but keeping one purpose in mind and writing it from scratch solves the problem WAAAY faster.

So no, no problem is solved inside the domain of product software development, but outside of it, you as a developer can (if you want and for speed) derive any structure from the absurd function instead of combining foreign frameworks.

platz

abstractions never solve problems that couldn't have been solved without them.

overhead4075

Circles in circles doesn't really scale well if the inner circles are always vertically centered.

Krei-se

Oh i just realized the blog author himself created this post: Boris we love you! Best of luck on your journey and thanks for your work!

null

[deleted]