TheMadcapLaughs's user avatar
TheMadcapLaughs's user avatar
TheMadcapLaughs's user avatar
TheMadcapLaughs
  • Member for 7 years, 6 months
  • Last seen more than 2 years ago
4 votes
1 answer
65 views

Pullback square with two identical sides

3 votes
1 answer
133 views

Why are local rings a coherent theory?

3 votes
1 answer
130 views

Describing a $\mathbb{Z}$-algebra and its tensor with $\mathbb{Z}/2\mathbb{Z}$

3 votes
1 answer
96 views

Reference request: finitely presented algebras classify an equational theory

3 votes
1 answer
2k views

Proof check: being reduced is a local property (Atiyah-Macdonald 3.5)

2 votes
0 answers
660 views

Proof check - The kernel of the stalk is the stalk of the kernel

2 votes
1 answer
265 views

In $A$-Mod, $M\oplus A\cong A\oplus A$ implies $M\cong A$

2 votes
1 answer
172 views

Adding transcendental elements to an algebraic extensions

2 votes
1 answer
90 views

Understanding application of the internal language of a category (Elephant, D1.3.12)

2 votes
1 answer
265 views

Extension of functor between small categories to presheaves - proof check

2 votes
0 answers
134 views

Lattice subobjects of the power object in a topos

2 votes
1 answer
98 views

Exercise on categories of $G$-set

1 vote
0 answers
39 views

Purely complex degree four number field

1 vote
0 answers
150 views

Continuous functor for a Grothendieck topology

1 vote
2 answers
563 views

Subgroups of nilpotent groups are subnormal

1 vote
0 answers
79 views

ETCS and existence of complements of sets

1 vote
1 answer
604 views

Stalks and closed immersion

0 votes
0 answers
272 views

Suspension and cofibration of point

0 votes
1 answer
130 views

Dual of powerset is not a complete Heyting algebra

0 votes
1 answer
97 views

Exercise on monomorphism of sheaves