Reputation
4,309
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
6 20
Newest
 Constituent
Impact
~27k people reached

Apr
11
comment What's the latest on Laver tables?
I'm wondering whether it's provable in ZFC that there is a row with period 32 even. The tables are astonishing indeed.
Mar
27
comment Proving that $(e^x+1)^{1/3}$ has no elementary antiderivative
meta.mathoverflow.net/questions/1700/…
Mar
25
comment series of numbers
@Moti As I said, I cast the last vote to migrate the question to Mathematics.StackExchange. From where I sit, the message "migrated from mathoverflow.net" is plainly visible.
Mar
25
comment series of numbers
This site is narrow in scope: it is for professional mathematicians and mathematics graduate students to ask and answer research questions at a professional level. Your observations are not at this level and outside of this scope. Instead of re-asking, please understand the reason it was closed and that it has to do with the narrow focus. You might get a better reception at Mathematics.StackExchange, which is for mathematics at any level, so I am voting to migrate it there.
Mar
3
revised Integral $\int\frac{dx}{x^5+1}$
fixed a minor mathematical error
Mar
3
answered Integral $\int\frac{dx}{x^5+1}$
Feb
10
comment discontinuity of a monotonic function
(1) I had to zoom in at least six times before I could even read the quote. (2) Deal with what problem? I don't see a problem.
Feb
10
answered Dimension of Hom(U,V)
Feb
8
comment How to write $\sin^2(z)$ in terms of imaginary units.
You probably want an $x$ instead of a $z$.
Feb
5
answered $A$ and $B$ are finite sets. How many Partial Functions exist between them?
Feb
3
answered What's the difference between an axiomatization and a characterization of a structure?
Feb
2
comment Ring functions which 'respects' homomorphisms
It means that I don't visit this site regularly (and so might not notice your post when it appears). "Tune in" is mainly a radio or TV reference, as when you go to a specific channel at a specific time to "tune into" a show. "M.SE" is short for Mathematics StackExchange.
Feb
1
comment Ring functions which 'respects' homomorphisms
Yes, I think it's appropriate practice to delete this answer once you post the new question. You should also feel free to link to this thread in the new question, explaining that the new question is what you really meant to ask. (By the way, I tune in to M.SE somewhat irregularly; hopefully though someone knowledgeable will respond to your new question, which is a good one in my opinion.)
Feb
1
comment Ring functions which 'respects' homomorphisms
Okay, I see; thanks for your explanation. As a moderator on another site, let me encourage you simply to post a new question rather than ask what you meant to ask in an answer box (usually this is frowned upon in StackExchange sites). I agree that the modified question is much less trivial than the question asked above, although I still believe that it is appropriate for this site (as opposed to MathOverflow).
Feb
1
answered Ring functions which 'respects' homomorphisms
Jan
31
answered What is the opposite category of $Set$?
Jan
22
revised Do hom-sets really live in the category Set?
link to a cross-post
Jan
22
comment Do hom-sets really live in the category Set?
Now posted at MO as well: mathoverflow.net/questions/194551/…. An answer there was given by Simon Henry.
Jan
17
comment When is it possible to interpret composition as a natural transformation?
(1) I take it you mean a cartesian closed category. (2) Internal composition is an example of an extranatural transformation: ncatlab.org/nlab/show/extranatural+transformation It's dinatural in $Y$.
Jan
15
comment Construction of Yoneda extension
Yeah, $\theta(c)$ means the same as $\theta_c$ -- one sees both notations in the literature. The arrow you're asking about, if we rewrite the domain as $\sum_c \sum_{x \in P(c)} F(c)$, is the one whose restriction to the $x^{th}$ copy of $F(c)$ is given by the inclusion of the copy of $F(c)$ indexed by $y = \theta_c(x) \in Q(c)$ in $\sum_c \sum_{y \in Q(c)} F(c)$. Hope that helps.