Reputation
50,085
Next tag badge:
96/100 score
25/20 answers
Badges
2 65 139
Impact
~477k people reached

Jul
29
answered Does “cheap nonstandard analysis” take place in a topos?
Jul
29
answered A category where maps are factorizations - what is this called?
Jul
26
answered domain of initial $f : X \rightarrow Y$ in Haus equipped with coarsest topology?
Jul
24
answered Facts about the tensor product
Jul
19
answered Definition of ordinals in Grothendieck toposes
Jul
15
answered A comparison between the fundamental groupoid and the fundamental group
Jul
10
answered Generator in functor categories
Jul
8
answered “Essential” open sets for sieves in topology as Grothendieck topology and T1 axiom
Jun
30
answered On the large cardinals foundations of categories
Jun
29
answered Is there a logic of sufficiency? Or goals?
Jun
29
answered Developing category theory inside ETCS
Jun
28
answered Why Et(X) is not small?
Jun
28
answered Finite fiber of scheme morphism is zero-dimensional?
Jun
24
answered Does this right adjoint of a geometric morphism preserve directed colimits?
Jun
23
answered Is a filtered category necessarily (essentially) small?
Jun
20
answered Why is the category of coherent sheaves not grothendieck?
Jun
20
answered A generalization of abelian categories including Grp
Jun
19
answered Is there a universal property for the ultraproduct?
Jun
18
answered What do I call a covariant functor which is a filtered colimit of representable functors?
Jun
16
answered How to find a minimal polynomial (field theory)