451 reputation
210
bio website cs.bham.ac.uk/~udr
location Birmingham
age
visits member for 2 years, 4 months
seen Jul 18 at 20:41

Professor of Computer Science, with research interests in Programming Languages and Theory of Programming.

My profiles on Theoretical Computer Science, Computer Science, Mathematics, Stackoverflow, and Superuser.

Also on Programmers, where I am shooting for a negative rating (if such a thing is possible)!


Aug
9
revised Semidirect Products in category theory?
Added a hyperlink to the online version of Barr/Wells
Aug
7
revised Semidirect Products in category theory?
Corrected the reference to Barr/Wells section number
May
24
revised Analogy for Cosets, Ideals, and Quotient Rings
Another technical typo
May
24
revised Analogy for Cosets, Ideals, and Quotient Rings
Clarified the reference to 'coset'
May
24
revised Analogy for Cosets, Ideals, and Quotient Rings
Corrected a technical typo
Mar
29
revised Analogy for Cosets, Ideals, and Quotient Rings
Added a footnote on normal subgroups
Aug
26
revised Universal property of tensor product
Minor corrections
Aug
26
revised Motivation for Tensor Product
Changed a link
Aug
25
revised category-theory wiki description
Added a link to nLab