39,725 reputation
247119
bio website
location
age
visits member for 3 years, 11 months
seen 1 hour ago

Jun
21
revised Abstract proof that internal hom presheaf is a sheaf
added 2309 characters in body
Jun
16
revised Presheaves in a quasi-topos.
edited tags
Jun
13
revised (Certain) colimit and product in category of topological spaces
edited tags
Jun
13
revised Exact sequence of sheaves of holomorphic functions
edited tags
Jun
11
revised Is there a (hypercomplex) number system, in which addition is **not** commutative
edited tags
Jun
10
revised Splitting fields and isomorphic
tagssssssssssssss
Jun
10
revised Is there way to formalize the idea that a category can be “cocomplete from the inside”?
added 176 characters in body
Jun
6
revised Prove that $X^{\phi{(n)}}-[1]$ has exactly $\phi{(n)}$ roots in $\mathbf{Z} / n \mathbf{Z}$.
added 41 characters in body; edited tags; edited title
Jun
5
revised Subtle aspect of closed subscheme
deleted 24 characters in body
Jun
3
revised Origins of the name “Q” and “R” for cofibrant and fibrant replacement functors.
edited body
Jun
2
revised Well-definedness of a coboundary map between a reduced $L^2$ de Rham cohomology group and a relative cohomology group
added 29 characters in body; edited tags; edited title
Jun
1
revised In the definition of $n$-equivalence, what is the motivation for only requiring surjectivity on the $n$th dimension.
added 18 characters in body
May
28
revised What axiom allow the construction of a set using the following notation $\{ x : P(x)\}$, where $P(x)$ is a statement about $x$?
edited tags
May
26
revised How to construct a quasi-category from a category with weak equivalences?
added 11 characters in body
May
25
revised Why is the 'mapping space' between two objects in a quasi-category a Kan complex?
edited tags
May
25
revised De Rham cohomology for $\mathbb{R^2}$
edited tags
May
21
revised The dense topology
edited tags
May
18
revised Zero direct limit of nonzero objects
added 5 characters in body
May
12
revised Category of accessible functors and its closedness
deleted 11 characters in body
May
11
revised Interesting problem in combinatorics
edited tags