Zhen Lin

less info
meta site favicon meta user | stack exchange network profile network profile
20,853 reputation
12365
bio website
location
age
visits member for 2 years, 4 months
seen 18 mins ago
stats profile views 4,535

447 Answers

newest activity votes
3
Finishing the proof that $\textrm{Spec}K[X,Y]\setminus\{(X,Y)\}$ is not an affine scheme
2
Uniformly solvable families of polynomials
4
What does a proof in an internal logic actually look like?
3
Borceux. Handbook of Categorical Algebra I. Proposition 3.4.2.
2
How to directly show that Figure 8 injective immersion is not a monomorphism
4
Functoriality of the Fundamental group
3
Category of adjunctions inducing a particular monad
1
Commuting square of functors
2
Viewing groups as objects of the concrete category $\mathsf{Grp}$
2
Commutativity of a sheaf of groups from an epimorphism
2
Space modelled on ring
1
Existence of not locally small categories
5
Determine whether two primitive recursive functions are equal
5
Confusion about cofinality
2
Two questions about monomorphisms and pullbacks in a Grothendieck topos
3
Is Whitney sum of vector bundle a categorical colimit?
5
Uniqueness of the operation for a preadditive category?
4
Defining Test-Objects
1
Sub-(complete lattice)? - what's the correct terminology?
2
Theory of promonads
5
If monic, then *property*. Does the converse hold?
2
Are homotopy equivalent path-connected spaces homotopy equivalent as pointed spaces?
5
How does one charaterize functionhood (etc.) in the category of relations?
1
pullback square of regular epimorphisms is a pushout
5
How Co-Comma Categories are constructed?
4
Allegories in easy words?
5
When are these two definitions of “monomorphism” equivalent?
1
Are groups algebras over an operad?
4
Algebraic description of a stalk in the fppf topology
4
explicitly represent a representable functor
1 2 3 4 5 … 15