« first day (2213 days earlier)      last day (1188 days later) » 

6:13 AM
5
Q: What is known about the category of Hopf algebras?

Sergei AkbarovSeveral weeks ago I asked this at MathStackExchange, and to my surprise nobody answered. Recently I understood that I know almost nothing about the category $\operatorname{HopfAlg}$ of Hopf algebras (over a given field $k$). Can anybody enlighten me? I wonder, in particular, how far does the ana...

 
 
2 hours later…
8:41 AM
💤
 
 
3 hours later…
12:01 PM
2
Q: Explicit different proofs of the same identity type in MLTT

João JúniorThis question is similar to (but more specific than) this one: When are two proofs of the same theorem really different proofs I do not know very much about homotopy type theory, but I am trying to understand how essentially different proofs of the same identity claim may naturally appear in Mart...

 
12:31 PM
1
Q: Can we show that a functor is a fibration without choosing a cleavage?

Alec Rhea Is there a standard method for showing that a functor $F:\mathcal{C}\to\mathcal{D}$ is a fibration, aside from constructing a cleavage? In the proof of the Grothendieck construction, the fibration we obtain from an indexed category $\Psi:\mathcal{B}^{op}\to\mathfrak{Cat}$ is automatically clove...

 
 
2 hours later…
2:19 PM
5
Q: To find all integers n such that the given expression is a perfect square

PravimishThe question is as follows Determine all integers n such that $n^{4}-n^{2}+64$ is the square of an integer Here is my approch Let $n^{4}-n^{2}+64=k^{2}$. On multiplying both sides by 4, we get $$4n^{4}-4n^{2}+256=4k^{2}$$ $$\Rightarrow(2n^{2}-1)^{2}+255=4k^{2}$$ $$\Rightarrow(2k+2n^{2}-1)(2k-2...

 
 
1 hour later…
3:31 PM
6
Q: Cannot read property of' error in javascript

Add it yeahI have written some JavaScript code to do something when some buttons are click. However, when I click on the buttons, it returns a typeError. Uncaught TypeError: Cannot read property 'saidOrNot' of undefined. How do I fix it? JS Code below - var score = 0; var wrong_sound = new Audio("sounds/wr...

 
 
7 hours later…
10:31 PM
5
Q: Is physical stamina important for doing mathematics?

user676464327Recently, I read an interesting story about A. Weil and J.P. Serre. The general gist of the story is as follows: During the Autumn of 1955, an international symposium on algebraic number theory was held at Nikko [a small city around 150 km north of Tokyo]. The Japanese mathematicians invited Wei...

 
11:19 PM
2
Q: On the Euler number of an orbit space

MathCrawlerLet $X$ be a differentiable manifold and $G$ a finite group acting differentiably on $X$. The following formula for the Euler number $\text{e}(X/G)$ of the orbit space $X/G$ appears to be well-known: \begin{equation*}\tag{1} \text{e}(X/G) = \dfrac{1}{\lvert G \rvert} \sum_{g \in G} \text{e}(X...

 

« first day (2213 days earlier)      last day (1188 days later) »