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

Apr
25
revised Simplicial homotopy's exponential law
edited tags
Apr
13
revised Cartesian closed category isomorphism
added 7 characters in body
Apr
4
revised Sheaf cohomology via resolutions vs. derived categories
edited tags
Mar
16
revised Intuitionistic logic unit type as truth
edited tags
Mar
14
revised Defining Presheaves on Categories
deleted 18 characters in body
Mar
13
revised Necessity of Category Theory for understanding Algebraic Topology
edited tags
Feb
29
revised The category of locally $P$ spaces
added 735 characters in body
Feb
26
revised Is this property of continuous maps equivalent to properness?
deleted 1017 characters in body
Feb
24
revised Intuition for microlinearity / infinitesimal linearity?
added 380 characters in body
Feb
10
revised Adjoint pair of functors and cogenerator elements
deleted 3 characters in body
Feb
6
revised Does $\operatorname{Spec}$ preserve pushouts?
added 83 characters in body
Feb
6
revised Is there a reasonable Grothendieck topology on the category of modules over a ring?
edited tags
Feb
5
revised Tensor of cocomplete categories
deleted 1048 characters in body
Feb
4
revised Exactness of a right adjoint functor
deleted 12 characters in body
Jan
29
revised Algebraic closure with no nontrival automorphism
edited tags
Jan
27
revised Why is the definition of subfunctor well-defined?
added 5 characters in body
Jan
25
revised Product of compacts is compacts using closedness of projection to second component?
edited tags
Jan
23
revised Homotopy colimit,weighted colimit, homotopy theory
edited tags
Jan
18
revised Could there be an “$n$-th root” of the category $\mathsf{Set}$?
added 226 characters in body
Jan
17
revised Compactness and directed systems of subspaces
added 116 characters in body