bio | website | |
---|---|---|
location | National University of Singapore | |
age | 28 | |
visits | member for | 4 years, 4 months |
seen | yesterday | |
stats | profile views | 3,681 |
I am a graduate student at the National University of Singapore studying complex geometry with To Wing Keung.
Apr 8 |
awarded | Notable Question |
Apr 3 |
revised |
Aysmptotic comparison of L^2 sections versus generating sections
added 2 characters in body |
Apr 3 |
asked | Aysmptotic comparison of L^2 sections versus generating sections |
Jan 16 |
awarded | Popular Question |
Jan 5 |
comment |
Which journals publish expository work?
Historically, there are cases when the original article is difficult to read and a later article explains the work more clearly, often adding an epsilon of progress (in order to be published?). As a result, the latter paper is read (and cited?) more often than the original. |
Dec 30 |
comment |
Is there a characterization of the topos of finite sets in the internal language?
It seems that if $X$ is a discrete space, then the topos of sheaves over $X$ satisfies ${\mathsf{ETCS}}$ minus the existence of the natural numbers object. |
Dec 25 |
asked | Is there a characterization of the terminal infinity topos? |
Dec 17 |
awarded | Popular Question |
Dec 12 |
awarded | Yearling |
Dec 12 |
awarded | Popular Question |
Nov 30 |
asked | Is there a characterization of the topos of finite sets in the internal language? |
Nov 21 |
comment |
Homotopic quotients of simplicial sets as infinity-groupoids
Should the bar resolution end with a terminal object rather than $G$? |
Nov 13 |
comment |
The Constructions of Davis and Januszkiewicz
Is there a natural poset associated to a polyhedral spheres? |
Nov 12 |
answered | The Constructions of Davis and Januszkiewicz |
Nov 8 |
comment |
Examples of categorification
We could start by defining the exponential function on nonnegative integers, by trying to complete $FinSet$ under applications of the free monoid object $exp$. |
Nov 5 |
comment |
Examples of categorification
What if we restrict the exponential function to the nonnegative real numbers? |
Nov 1 |
comment |
Examples of categorification
To recover the exponential function on the real numbers, one chooses which monoidal category $C$? |
Oct 31 |
accepted | Does the internal axiom of choice imply Lagrange's theorem? |
Oct 31 |
comment |
Does the internal axiom of choice imply Lagrange's theorem?
There is no global element $1\to Z/2 \times Z/2$ of the latter object with the interchanging action. The obstruction to finding such a equivariant morphism is due to the action on the final object $1$ being trivial while the action on $Z/2 \times Z/2$ is free. Hence $Z/2 \times Z/2$ is only a semigroup object and not a group object. |
Oct 31 |
comment |
Does the internal axiom of choice imply Lagrange's theorem?
Why is $H$ a subobject of the Klein four group? It seems that $H$ is not closed under the action of interchanging the two factors of the Klein four group. |