Skip to main content
Elías Guisado Villalgordo's user avatar
Elías Guisado Villalgordo's user avatar
Elías Guisado Villalgordo's user avatar
Elías Guisado Villalgordo
  • Member for 7 years, 6 months
  • Last seen this week
10 votes
1 answer
524 views

Epic morphisms in the category of vector spaces. Is AC needed?

7 votes
1 answer
250 views

Induced morphism between kernels is surjective

6 votes
1 answer
205 views

A characterization of AB5 categories. Does this result show up in the literature?

5 votes
1 answer
425 views

Two definitions of quasi-separated morphisms which may not be equivalent?

5 votes
1 answer
214 views

More details in the proof of the equivalence of categories between vector bundles over a smooth manifold and locally free sheaves

5 votes
0 answers
42 views

Counterexample to $\hat{\mathfrak{a}}\hat{M}=\widehat{\mathfrak{a}M}$ when the base ring is not Noetherian or the module $M$ is not finitely-generated

4 votes
1 answer
72 views

A locally $\kappa$-presentable category is also locally $\lambda$-presentable for $\lambda>\kappa$? (Typo?)

4 votes
0 answers
33 views

Is the ring of smooth fcts over an open set $U$ the localization of the smooth functions on $M$ with respect to the nowhere vanishing fcts on $U$?

4 votes
0 answers
36 views

Characterization of equivalence of multicategories

4 votes
1 answer
244 views

Proof of the Riemann curvature endomorphism as parallel transport around an infinitesimal loop(Thm 7.11 of Lee's Introduction to Riemannian Manifolds)

4 votes
0 answers
138 views

Inequality on the unit cube $[0, 1]^d$

3 votes
3 answers
261 views

Functoriality of bifunctors: Joint functoriality equivalent to separate functoriality?

3 votes
0 answers
265 views

Hall's Lie groups book, chapter 4, exercise 14

3 votes
1 answer
694 views

Is every finite-dimensional real Lie algebra the Lie algebra of a simply connected closed subgroup of $\operatorname{GL}(n;\mathbb{C})$?

3 votes
2 answers
298 views

Equivalence of categories between étale spaces and sheaves of sets over a topological space. Where to find a proof?

3 votes
0 answers
127 views

Is the ideal product presheaf a sheaf?

3 votes
2 answers
150 views

Does the inverse of an invertible homogeneous element need to be homogeneous?

3 votes
1 answer
184 views

Geometrical interpretation of $\operatorname{Spec}(\mathbb{R}[x,y]/(x^2+y^2))$

3 votes
0 answers
58 views

More examples of morphisms of ringed spaces that aren't local?

3 votes
1 answer
79 views

Local dimension at a point and dimension of irreducible components passing through that point

3 votes
1 answer
221 views

Is every finite scheme affine?

3 votes
0 answers
34 views

Characterization of the completion of a first-countable topological abelian group

2 votes
2 answers
75 views

Reduction to the case $n=1$ in the proof of Proposition 5.23 of Atiyah, Macdonald

2 votes
0 answers
58 views

The Eilenberg-Moore cat of a monad is isomorphic to the presheaves on its Kreisli cat that restrict to representable functors (elementary proof?)

2 votes
2 answers
41 views

Constructing a left adjoint to the restriction functor $U:\mathsf{C}^{\mathsf{J}}\to\mathsf{C}^{\operatorname{ob}\mathsf{J}}$

2 votes
1 answer
81 views

Pushforward commutes with pullback in short exact sequences

2 votes
1 answer
63 views

Remark in Atiyah, Macdonald: non-singularity $\Rightarrow$ analytic irreducibility

2 votes
1 answer
84 views

Well-definedness of the order of a meromorphic differential on an algebraic curve

2 votes
1 answer
168 views

Sum of the completion of a topological abelian group is continuous

2 votes
1 answer
67 views

Isomorphic affine classical varieties over a non-algebraically closed field. Does the isomorphism preserve polynomials?