Reputation
44,775
Next tag badge:
94/100 score
27/20 answers
Badges
2 54 129
Impact
~385k people reached

Mar
24
answered Homotopy split monomorphisms
Mar
22
answered Equivalent categories are elementarily equivalent: Formalization?
Mar
17
answered When is the tensor product of a separable field extension with itself a domain?
Mar
16
answered Can a general version of the covariant powerset monad be derived from the universal property of power objects?
Mar
16
answered Does this property characterize monomorphisms?
Mar
15
answered An equivalence of categories which looks like Voevodsky's Univalence Axiom
Mar
15
answered Evaluating rational functions
Mar
12
answered How do I prove that $X$ is the pullback of this cospan?
Mar
9
answered Is there a particularly simple example of geometric descent?
Mar
3
answered The intersection of affine subscheme and preimage of affine on separated scheme is affine
Mar
1
answered ``Minimal generating ring" for a field of fractions
Feb
28
answered is the property of representability of a sheaf on the big etale site checkable on the small site?
Feb
25
answered How can i show that the the category of pointed sets and the category of sets and partial functions are not isomorphic?
Feb
23
answered The terminal object comes for free in the definition of a subobject classifier
Feb
22
answered Is the group cohomology for a profinite group always torsion?
Feb
20
answered How to intrinsically think about simplicial objects.
Feb
19
answered example of a scheme where connected components aren't open
Feb
19
answered Can one drop the retracts in the definition of anodyne extensions?
Feb
16
answered Motivation behind the definition of monomorphism and epimorphism in category theory
Feb
15
asked The smooth Nullstellensatz