145 reputation
3
bio website cs.mcgill.ca/~bsprot1
location Ottawa, Canada
age
visits member for 2 years, 8 months
seen yesterday

I did my MSc with Lucien Hardy and then worked on the quantum causal dynamics with Prakash Panangaden. I took Dr. Panangaden's course on the semantics of programing languages and now I spend a lot of time thinking about Scott domains and continuous functors. I also like the works of Bob Coecke, Mehrnoosh Sadrzadeh, Jamie Vicary, John Baez, Chris Isham, Colin McLarty, Lawvere, John Bell, Raphael Sorkin, Fotini Markopoulou. I have three main applications that I look at : physics, economic growth and concurrency. In particular, I am trying to use monads and comonads to do basic physics and as such am studying Haskell as a way to refine my thinking.


Jun
9
comment Monoidal categories, but not in SET
Hi Julian, I'm afraid I cannot answer the question here. Qiaochu's post sounds like it might be an answer, but I would butcher it if I tried to write out an answer based on his suggestion.
Mar
12
comment Examples of abelian subgroups of non-abelian groups.
whoops, this is a copy of Brian's answer.
Jul
25
comment Kleisli category examples
I like how Qiaochu's comment got exactly 4 bumps. I would bump it too, but then it would b 5.
Jun
17
comment Monoidal categories, but not in SET
Hi, Qiaochu Yuan, I think maybe I do. I have visited this notion before. The category enriched over a monoidal category also sounds neat.
Jun
17
comment Monoidal categories, but not in SET
Hi Martin, The only monoidal structure I want to capture is the kind of structure we find in the wikipedia entry on "Monoidal Category". I want to present a category where I can tensor objects and then tensor morphisms to map products to products. I think the real problem is that it will be hard to present a category without sets, but that is the challenge.
Jun
5
comment All about (co)algebras for the identity functor
I gave it the check. Thanks again.
Jun
4
comment All about (co)algebras for the identity functor
Does anyone want to say definitively that there are no interesting (co)monads based on identity functor?
Jun
3
comment All about (co)algebras for the identity functor
Hey, I can't vote your answer up yet as i have no reputation points. In lieu of that: Thanks!