37,184 reputation
241108
bio website
location
age
visits member for 3 years, 7 months
seen 2 mins ago

Jul
22
answered Asterisk Notation
Jul
17
answered Is it possible to find square root using only rational numbers and elementary arithmetic operators
Jul
15
answered Algebras of the environment monad
Jun
30
answered The two-sided simplicial bar construction is Reedy-cofibrant
Jun
21
answered Abstract proof that internal hom presheaf is a sheaf
Jun
19
answered Difference between being faithful and being injective on arrows
Jun
15
answered Can we make recursion into an axiom schema?
Jun
14
answered Every category is the free category for a given graph?
Jun
11
answered Zariski vs analytic cohomology of $\mathcal O_X^\times$
Jun
9
answered Is there way to formalize the idea that a category can be “cocomplete from the inside”?
Jun
3
answered An equivalence of categories of presheaves.
Jun
1
answered Coproduct of $(0,1)$-Algebras
Jun
1
answered In the definition of $n$-equivalence, what is the motivation for only requiring surjectivity on the $n$th dimension.
May
29
answered Computing the Zariski cotangent space
May
28
answered Can an abelian group be turned into two nonisomorphic vector spaces by different actions of the same field?
May
28
answered On what sets can $\mathfrak{S}_n$ act transitively?
May
26
answered How to construct a quasi-category from a category with weak equivalences?
May
25
answered Why is the 'mapping space' between two objects in a quasi-category a Kan complex?
May
25
answered De Rham cohomology for $\mathbb{R^2}$
May
23
answered Does there always exist finitely presented submodules?