2,725 reputation
917
bio website math.harvard.edu/~oantolin
location Cambridge, Massachusetts, USA
age 34
visits member for 4 years, 3 months
seen 21 hours ago

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 suggested edit on Proving basics of $(a+b)^2$
Nov
5
reviewed Approve suggested edit on Maximum Likelihood Estimation with Laplace Distribution
Nov
5
reviewed Edit suggested edit on 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 suggested edit on Translation of a German paper
Nov
3
reviewed Reject suggested edit on 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 suggested edit on Prove that a convex $d$-polytope has at least $d+1$ facets
Oct
28
reviewed Approve suggested edit on Coefficients in Representer theorem
Oct
28
reviewed Approve suggested edit on Tricky limit of summation
Oct
28
reviewed Approve suggested edit on 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.
Oct
23
reviewed Approve suggested edit on the 0-th homology of a simplical complex