I just wanted to know how did you start studying category theory and from what background did you come to study it and why was it necessary?
I am from CS and learning it for my thesis as it connects a lots of dots in categorical QM and type theory
Hello everyone,
I am 29M. I am currently enrolled in a Masters program for computer science. It’s time for my thesis and I wanted to do something related to categorical quantum mechanics and something related to lean theorem prover. I was happy at first to see that I get to work on something so cool.
But right now it feels like it’s overwhelming to learn everything there is. Learning category theory, topology, interactive theorem proving and on and on. Some days it’s exciting as I am able to connect some wonderful dots and it’s good but some other days it’s just hell breaking loose and I even cannot pick up my pen.
Worst of all my advisor has a minimal knowledge as I was the one to choose the topic and it feels lonely there is no one to share what I have learnt and what holes I have in that learning and where to go from there.
I simply don’t know if it’s just a phase or I am in a roadblock or I just chose something completely out of my hands.
Can you please tell me what I should do?
(Currently I am trying to look some relationships between graphs and quantum contextuality like can there be local global section failure in things like traffic . It’s just a hunch but I don’t know )