Reputation
500
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
3 12
Impact
~7k people reached

  • 0 posts edited
  • 0 helpful flags
  • 4 votes cast
2d
accepted Is it possible to develop differential geometry without points?
May
22
awarded  Nice Question
May
22
comment Heyting algebras and infinite distributive law
thank you. I proved.
May
22
comment Heyting algebras and infinite distributive law
I edited. I wanted to write $(\vee \{s|a\wedge s=0\})\vee b$.
May
22
revised Heyting algebras and infinite distributive law
added 8 characters in body
May
22
asked Is it possible to develop differential geometry without points?
May
22
asked Heyting algebras and infinite distributive law
May
20
accepted Is $\Bbb R$ the soberification of $\mathbb{Q}$?
May
20
awarded  Yearling
May
20
asked Is $\Bbb R$ the soberification of $\mathbb{Q}$?
May
11
accepted Definition of absolutely presentable functor
May
8
asked Definition of absolutely presentable functor
Apr
14
accepted injectivity. identity map of a ring to its tensor product
Apr
14
asked injectivity. identity map of a ring to its tensor product
Apr
13
accepted Module structure of base extension via tensor product
Apr
13
revised Module structure of base extension via tensor product
deleted 32 characters in body
Apr
13
comment Module structure of base extension via tensor product
Sorry, I copied as it is in textbook but I really don't need them here. I will edit. The textbook is Japanese one, so I guess you don't know.
Apr
13
asked Module structure of base extension via tensor product
Oct
5
awarded  Notable Question
Sep
24
awarded  Autobiographer