37,434 reputation
241108
bio website
location
age
visits member for 3 years, 8 months
seen 9 mins ago

5h
comment Hom functor and left exactness
In a category of modules, monomorphisms = injective homomorphisms.
17h
comment Product in the category of pointed sets..
This category in fact has products and coproducts. But perhaps the point is that the products are the same as in $\mathbf{Set}$ and the coproducts are not.
18h
comment Injective Resolutions in $\mathfrak{Ab}(X)$
I doubt $\prod i_* \mathbb{Z}$ is injective. I also don't think your sequence is exact – certainly not in general.
1d
comment Homotopy product
Yes, that's right.
1d
comment Homotopy product
In every case, $\emptyset$ provides the counterexample.
1d
comment Homotopy product
It's false in some of the most important model categories: $\mathbf{Set}$, $\mathbf{Cat}$, $\mathbf{sSet}$. Note that the first two have the property that every object is fibrant, and all three have the property that binary products preserve weak equivalences.
1d
comment Definition of quotient category
No. You may have to add new composites in the quotient.
1d
comment How does a section of a stack give a sheaf?
I think you should go back to the case of a section of a constant sheaf. Yes, a section of a constant sheaf is a locally constant function – think about what its codomain is. Once you do so, it will be clear in what sense a section of a constant stack is a locally constant sheaf.
1d
comment Definition of quotient category
Because it's the easy case where the functor to the quotient is surjective.
Aug
25
comment insight into the definition of intersection multiplicity for two plane curves
The number of generators is related to the dimension of the intersection of the tangent spaces. Since we are dealing with curves, that means the number of generators is at most one.
Aug
24
comment When is the map “attaching irreducible components” an effective isomorphism?
This appears to be the definition of effective epimorphism, rather than strict epimorphism. Of course there is no difference in this context.
Aug
24
comment insight into the definition of intersection multiplicity for two plane curves
On Q1: $\mathscr{O}_P / (f, g)$ is isomorphic to a localisation of $k [x, y] / (f, g)$: more precisely, it is isomorphic to the ring obtained by inverting in $k [x, y] / (f, g)$ the image of any function not vanishing at $P$. But $k [x, y] / (f, g)$ is (usually) artinian, hence is isomorphic to the direct product of some number of copies of $k [\epsilon] / (\epsilon^n)$; what this localisation does is to extract the copy corresponding to $P$.
Aug
23
comment Building a function $p : \mathcal{D} \rightarrow \mathbf{Ord}$ from a faithful functor $U : \mathcal{C} \rightarrow \mathcal{D}.$
This appears to be an impoverished version of categorical topology. See Abstract and concrete categories.
Aug
22
comment Category of Hilbert Spaces
It seems unlikely. The kernel of a bounded linear operator is a closed subspace, but I don't think the image of a bounded linear operator is necessarily closed.
Aug
22
comment When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?
Yes, I expect it should work, but I have never seen it written out explicitly.
Aug
22
comment Regular function on a variety which is not globally rational
The only thing to prove is what I said in my first comment, which you seem to already know.
Aug
22
comment When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?
No, you can't even do that for $\mathbb{N}$. You have to restrict to a suitable subcomplex of the 1-truncated bar complex.
Aug
22
comment Regular function on a variety which is not globally rational
Yes, that's what I said.
Aug
22
comment When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?
Because $\mathbb{N}$ is a free category.
Aug
22
comment When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?
The second formula. The first formula is the definition.