Reputation
Next tag badge:
94/100 score
27/20 answers
Badges
2 59 132
Impact
~394k people reached

May
14
answered What is a branch point?
May
12
answered Separated scheme stable under base extension.
May
10
answered What is the Eilenberg-Moore category of this diagonal-like monad?
May
10
answered Pullbacks in the Ind-completion
May
6
answered Question on the definition of a locally presentable category
May
6
answered Quotients and regular epimorphism
May
5
answered Which axiom of set theory does this formula represent ? Why?
May
5
answered Are sections of vector bundles $E\to X$ over schemes necessarily closed embeddings?
May
5
answered Is the skeleton-coskeleton adjunction $sSet$-enriched?
May
2
answered when a presheaf is a sheaf
Apr
28
answered Points of scheme with residue field $k$ vs $k$-point
Apr
24
answered The class of all functions between classes (NBG)
Apr
23
asked Positive and negative logical connectives
Apr
17
answered What does it mean for pullbacks to preserve monomorphisms?
Apr
15
answered Is there a more general obstruction to the existence of moduli spaces than the existence of automorphisms?
Apr
14
answered Why is the internal hom of a Kan complex also a Kan complex?
Apr
14
answered Representability criterion with universal element
Apr
13
answered Can We Say 'There Exists an Element' Without saying 'This One'?
Apr
9
answered What's up with this endofunctor $\mathbf{Aff}_k \rightarrow \mathbf{Aff}_k$?
Apr
9
answered The definition of the $false$ truth value