39,050 reputation
246117
bio website
location
age
visits member for 3 years, 11 months
seen 11 mins ago

Sep
17
revised Showing $\mathcal{P}(X)$ is isomorphic to $2^X$
edited tags
Sep
17
revised Are cofibrant/fibrant replacements homotopically unique?
added 38 characters in body
Sep
16
revised Category of Grp is not a subcategory of Set
added 2 characters in body
Sep
16
revised Category of Grp is not a subcategory of Set
edited tags
Sep
16
revised Given heaps $h$ and $h'$, is true that if $h \leq h'$ and $h' \leq h$, then $h = h'$?
edited tags
Sep
16
revised When does a left adjoint between Heyting algebras preserve 1?
added 9 characters in body; edited tags
Sep
15
revised Right exactness on a dense subcategory
added 2152 characters in body
Sep
14
revised Explicit construction of a initial object in a topos
edited tags
Sep
13
revised Simplest proof of Taylor's theorem
edited tags
Sep
12
revised Does the category of Simplicial Complexes have finite limits and colimits?
edited tags
Sep
12
revised Does the category of Simplicial Complexes have finite limits and colimits?
added 177 characters in body
Sep
12
revised Does the category of Simplicial Complexes have finite limits and colimits?
edited tags
Sep
12
revised Spec($\mathbb Q \times \mathbb Q$)
edited tags
Sep
12
revised Prove that: For every group there exists a faithful representation over any nontrivial commutative ring.
edited tags
Sep
12
revised How to extract an element from a set?
edited tags
Sep
12
revised Is there a topos in which the natural numbers object are the finite dimensional vector spaces?
edited tags
Sep
11
revised Derived functors definition
edited tags
Sep
10
revised Proof: $a = x^2 - y^2, x - y > 1 \implies a$ is not a prime number
added 5 characters in body
Sep
10
revised Fixing an object $Y$ defines a contravariant functor $\mathcal{C}^{op} \rightarrow$ Sets
edited tags
Sep
6
revised A generator (or a cogenrerator) for the category of schemes
added 31 characters in body