Reputation
Next tag badge:
99/100 score
25/20 answers
Badges
4 68 146
Impact
~513k people reached

Sep
22
answered Is the category of elements an example of a fibred category?
Sep
19
answered subschemes and subobjects
Sep
10
answered Is there another well-pointed elementary topos satisfying internal choice without natural numbers object?
Sep
8
answered Products are Couniversal in CRing
Sep
8
answered Fiber of fibration of simplicial sets
Sep
8
answered subobject classifier and characteristic arrow in presheaf topos
Sep
7
answered Is a proper morphism between quasiprojective varieties projective?
Sep
2
answered Is it possible to delete undesired identifications in algebraic structures?
Sep
1
answered Categories with some but not all exponentials
Aug
24
answered When does Sheafification commute with direct image?
Aug
20
answered A question on a property of geometric morphisms related to locales.
Aug
18
answered Translation of 'morphisme net'?
Aug
13
answered Is this assignment of the topos of sheaves functorial?
Aug
6
answered This is just the Eilenberg-Moore category, right?
Aug
6
answered Construction of a ring from a category
Jul
30
asked What are the universally effective epimorphisms of topological spaces?
Jul
28
answered Is taking projective closure a functor?
Jul
27
answered Does the inverse image sheaf have a left adjoint for $\mathsf{Set}$-valued sheaves?
Jul
27
answered Does an equivalence of $G$-sets and $H$-sets imply an isomorphism of $G$ and $H$?
Jul
6
answered Inverse image sheaf functor: proving $(f^\ast P)_x=P_{f(x)}$