Reputation
Next tag badge:
94/100 score
27/20 answers
Badges
2 57 131
Impact
~393k people reached

1d
answered Is taking projective closure a functor?
2d
answered Does the inverse image sheaf have a left adjoint for $\mathsf{Set}$-valued sheaves?
2d
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)}$
Jul
3
answered Intuitionistic Proof of $(a \Rightarrow b) \Rightarrow (\lnot b \Rightarrow \lnot a)$
Jul
1
answered Category of Sets and Bag-valued functions
Jun
29
answered Group action on a category
Jun
28
answered Compact objects in Ind-categories
Jun
28
answered Category with coproducts generated by an endomorphism
Jun
24
answered base change of an equivalence relation of fppf sheaves
Jun
23
answered What's so special about the grounded poset of cardinality $2$?
Jun
8
answered Smoothness of $A \subseteq C$ implies smoothness of $B \subseteq C$? where $A\subseteq B \subseteq C$
Jun
4
answered When do evaluation functors reflect (co)limits?
May
25
answered What is the relationship between the path-loop space fibration and path induction?
May
19
answered Is any reflector from a presheaf category $PSh(K)$ to a topos $C$ necessarily left exact?
May
19
answered An injective morphism between varieties that is not an immersion
May
18
answered Inclusions of CW-complexes are cofibrations.
May
17
asked Compactness and directed systems of subspaces
May
15
asked When is the topological closure of an equivalence relation automatically an equivalence relation?
May
14
answered What is a branch point?