Reputation
45,241
Next tag badge:
94/100 score
27/20 answers
Badges
2 59 132
Impact
~393k people reached

Jul
3
comment Distributivity of pullbacks
This is essentially the definition of a lextensive category.
Jul
3
awarded  Necromancer
Jul
3
comment Axiomatizability of the algebra of (a fragment of) calculus
I believe the answer is yes, because $S$ contains $\mathbb{Z} [x]$, and it seems to me that $\mathbb{Z} [x]$ is the free commutative ring equipped with a derivation $D$ and an element $x$ such that $D x = 1$.
Jul
3
comment Why is a simply connected 3-manifold a homotopy 3-sphere?
You should also include the part where triangularisability and Poincaré duality are explained.
Jul
2
comment Spaces $X$ and $Y$ with $[Z, X]_{\bullet} \cong [Z, Y]_{\bullet}$ for all cogroup objects $Z$ in $\mathsf{hTop}_{\bullet}$
Pointed topological spaces.
Jul
2
comment Properties preserved under equivalence of categories
Everything in that list is preserved by either a left adjoint or a right adjoint, and equivalences are simultaneously left and right adjoints.
Jul
1
comment Is there a special name for functors from a category C to a subcategory of C?
They are endofunctors.
Jul
1
comment Group action on a category
As I said, it is a special case of a pseudofunctor.
Jul
1
answered Category of Sets and Bag-valued functions
Jul
1
comment Spaces $X$ and $Y$ with $[Z, X]_{\bullet} \cong [Z, Y]_{\bullet}$ for all cogroup objects $Z$ in $\mathsf{hTop}_{\bullet}$
They are different. You should clarify which one you mean.
Jun
29
comment Group action on a category
Yes, it is a pseudofunctor.
Jun
29
answered Group action on a category
Jun
29
comment How to show that a map is finite
You could use the valuative criterion for properness, but I think it would be much easier to just use the standard definition of finite morphism in terms of finite algebras.
Jun
29
comment How to show that a map is finite
Well, quasi-finiteness is clear, right? So you just need to check that the map is proper.
Jun
29
comment How to show that a map is finite
What definition are you using?
Jun
28
answered Compact objects in Ind-categories
Jun
28
answered Category with coproducts generated by an endomorphism
Jun
28
comment when will homology and direct limit commute?
There seem to be two questions here: whether homology commutes with direct limits, and how the homology of the mapping telescope is related to the direct limit of the homology.
Jun
27
comment Representable morphism for algebraic spaces
We identify schemes with the corresponding representable sheaves.
Jun
27
comment Equivalence of group objects in set and groups as one object categories.
(1) You can define the notion of a category object and what it means to have only one object and every morphism is an isomorphism. (2) Yes. (3) Yes.