Zhen Lin

less info
meta site favicon meta user | stack exchange network profile network profile
22,310 reputation
12466
bio website
location
age
visits member for 2 years, 5 months
seen 3 hours ago
stats profile views 4,742

478 Answers

newest activity votes
2
Optimization of gaussian curvature
jan 16 '11 at 9:35
2
Norms on C[0, 1] inducing the same topology as the sup norm
jan 8 '11 at 11:26
1
Monads on Set and their strength
jun 13 at 14:51
1
horn of a simplex
jun 5 at 19:08
1
Is there a more elementary proof of this special case of Riemann-Roch?
jun 1 at 15:44
1
If fundamental group of a compact path connected space is finite then its universal cover is compact
may 29 at 18:04
1
Commuting square of functors
may 14 at 0:16
1
Existence of not locally small categories
may 7 at 17:05
1
Sub-(complete lattice)? - what's the correct terminology?
apr 26 at 10:09
1
pullback square of regular epimorphisms is a pushout
apr 22 at 7:37
1
Are groups algebras over an operad?
apr 19 at 12:06
1
Elephant: how do I prove Lemma 2.1.7, section C2.1?
apr 11 at 19:56
1
$F:C\to D, G:D\to E$ are functors, $G$ has a right adj, $F$ is fully faithful, $G$ is faithful, $F$ is “relatively dense”. Does $F$ have an adj?
apr 2 at 11:13
1
If $\mathcal F$ is a sheaf, then is $\mathcal F (- \times X)$ a sheaf?
mar 20 at 8:20
1
What axioms need to be added to second-order ZFC before it has a unique model (up to isomorphism)?
mar 1 at 22:24
1
Show that the ideal of $k[X_1, X_2, X_3]$ generated by $X_1^3-X_3$ and $X_2^2-X_3$is a prime ideal.
feb 18 at 23:13
1
Is there a categorical construction of the general linear group?
feb 15 at 19:06
1
Are the right derived functors of the inclusion sheaf cohomology?
feb 14 at 11:18
1
Definition(s) of Stack
feb 12 at 23:42
1
What are the $2$-morphisms in the $2$-category of “categories over $\mathfrak{Sch}$”?
feb 2 at 1:30
1
How to define the dual sheaf
jan 27 at 18:44
1
Can exponentials be distinct from hom-functors in enriched categories?
jan 26 at 15:44
1
Sheaf epimorphisms
jan 20 at 8:37
1
Surjectivity of projective maps from an inverse limit to an element of the direct product
jan 16 at 19:46
1
If an abelian category has a generator then it is well-powered
jan 14 at 17:03
1
Eigenvalues and equalizers
jan 14 at 16:40
1
Composition of a kernel with a cokernel has a normal image
jan 12 at 18:15
1
Composition of a kernel with a cokernel has a normal image
jan 12 at 9:50
1
complete partial order by adjoint functor theorem
jan 8 at 17:07
1
Hom functor and left exactness
dec 28 at 5:30
1 … 12 13 14 15 16