2,770 reputation
918
bio website math.harvard.edu/~oantolin
location Cambridge, Massachusetts, USA
age 34
visits member for 4 years, 4 months
seen Dec 16 at 21:53

Dec
16
awarded  Caucus
Nov
10
answered Categorial description of the subposet of $\prod_{i \in I}P_i$ of all $x \in \prod_{i \in I}P_i$ with $\{i \in I \mid x_i = \bot_{P_i}\}$ cofinite
Nov
8
answered A local homeomorphism between compact, connected, topological spaces
Nov
7
revised Are tensor products of vector bundles “well-behaved”?
added 1 character in body
Nov
5
reviewed Approve Proving basics of $(a+b)^2$
Nov
5
reviewed Approve Maximum Likelihood Estimation with Laplace Distribution
Nov
5
reviewed Edit Simplify $(\sqrt{x}) + x + 2 = (\sqrt{y}) + y + 2$
Nov
5
revised Simplify $(\sqrt{x}) + x + 2 = (\sqrt{y}) + y + 2$
latex formattig
Nov
4
comment How to use universal constructions to create this category/object?
You can also describe $M(C)$ as follows: $B(M(C))$ is the pushout of $1 \leftarrow C^\delta \to C$ where $1$ is the terminal category and $C^\delta$ is the category with the same objects as $C$ but only identity morphisms.
Nov
3
reviewed Reject Translation of a German paper
Nov
3
reviewed Reject Prove that if a relation $R$ on $X$ is not symmetric, but transitive, the collection of pseudoequivalence classes does not partition $X$.
Oct
28
reviewed Approve Prove that a convex $d$-polytope has at least $d+1$ facets
Oct
28
reviewed Approve Coefficients in Representer theorem
Oct
28
reviewed Approve Tricky limit of summation
Oct
28
reviewed Approve Explicit probability for vertical 2D percolation
Oct
28
comment Morphisms in the category of natural transformations?
It only makes sense to talk about representing functors $G \to \mathrm{Set}$, the codomain of a representable functor is $\mathrm{Set}$, @NikolajK.
Oct
28
comment Morphisms in the category of natural transformations?
I don't understand your comment, @NikolajK, in particular I don't know where you got the $\hom(G,G)$ from. In the last two lines I say that for $f,g : G \to H$ we have $\mathrm{Nat}(f,g) = \{ y \in H : \forall x\in G, f(x) = y g(x) y^{-1}\}$ which is very easy to see: each natural transformation has a single component $y$ (because $G$ has a single object) and the stated condition is just naturality.
Oct
27
comment Loop of a topological group acting on different points being homotopic to constant maps.
You don't need path connectedness of $G$ since the only portion of $G$ you ever use is the image of $\alpha$, which is contained in the path component of the identity of $G$.
Oct
27
revised Loop of a topological group acting on different points being homotopic to constant maps.
added 526 characters in body
Oct
27
answered Loop of a topological group acting on different points being homotopic to constant maps.