21,595 reputation
152120
bio website shef.ac.uk/nps
location Sheffield
age 48
visits member for 4 years, 7 months
seen 28 mins ago
I am an algebraic topologist, based at the University of Sheffield.

May
22
answered K-groups of a permutative category - are they finite?
May
17
reviewed Close a limit of $\operatorname{id}$
May
17
reviewed Leave Open Category = Groupoid x Poset?
May
17
reviewed Leave Open The classifying space of an infinite totally ordered set is contractible
May
17
comment The classifying space of an infinite totally ordered set is contractible
The two maps combine to give a poset map $\{0,1\}\times P\to Q$, and $B(\{0,1\}\times P)=[0,1]\times BP$.
May
17
comment The classifying space of an infinite totally ordered set is contractible
The space $BP$ is topologised as the colimit of the spaces $BQ$, as $Q$ runs over finite subsets of $P$. So a subset $F\subset BP$ is closed iff $F\cap BQ$ is closed with respect to the obvious topology on $BQ$, for all $Q$.
May
17
answered The classifying space of an infinite totally ordered set is contractible
May
14
comment What questions should -ologists of mathematics ask, in order to improve maths researcher training?
The link that you gave suggests that the project is focused on developing countries that do not already have a strong research culture. Answers in that context will be very different from answers in the more obvious context of US and European research universities. You should clarify which context you are interested in.
May
14
revised What questions should -ologists of mathematics ask, in order to improve maths researcher training?
Added text from the first link
May
12
reviewed Close Integral kernels of self-adjoint operators
May
12
reviewed Leave Open Can the image of a disk have nontrivial Hausdorff measure for $1 < d < 2$?
May
12
reviewed Leave Open Finite groups normalizing a torus
May
5
reviewed Leave Open Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$
May
5
reviewed Leave Open If the quotient of an algebraic space $X$ by a finite group is a scheme, is $X$ a scheme?
May
5
reviewed Leave Open Reference request: Flipping the factors in the Künneth formula
May
2
awarded  Nice Answer
May
2
awarded  Nice Answer
May
1
reviewed Close How to characterize a linearly-constrained subspace in a projection
May
1
comment Fixed point theorem in ordered spaces
You should explain where this comes from and why you think it should be true.
Apr
30
awarded  Nice Answer