2,201 reputation
11747
bio website
location National University of Singapore
age 28
visits member for 4 years, 4 months
seen Apr 4 at 15:29

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.