« first day (2210 days earlier)      last day (1184 days later) » 

2:08 AM
4
Q: Proof that a Cartesian category is monoidal

nancytrainIf $\mathcal C$ is a category with products and a terminal object, then $\mathcal C$ is monoidal. This seems obvious, but wherever I look for a proof or a reference it simply states that the proof is "pretty involved". I found this 8 years old question on MathOverflow: Monoidal structure on a cat...

 
 
6 hours later…
7:43 AM
5
Q: Sum of order polynomials of a set of posets

asknohopeLet $n\in \mathbb{Z}_{>0}$. For every subset $S\subseteq \left[ n-1\right]$ we define a poset $P_S=\left([n],\le_{P_S}\right)$ given by the covering relation $\lessdot$ which is defined as \begin{align*} &\forall i\in S & i+1&\lessdot i \\ &\forall i\in\left[n-1\right]\setminus S &...

 
8:13 AM
5
Q: Best books to self study number theory and especially diophantine equations?

Arsalan HasanvandI'm an undergraduate math student. I've already passed linear algebra and abstract algebra and recently passed a course in elementary number theory and I really enjoyed it. (our source was daniel Flath and Rosen elementary number theory) now I wanna self-study more books this semester and I'm sea...

 
 
3 hours later…
10:55 AM
2
Q: Circle bundle with homotopically trivial fiber in the total space

TotoroConsider a smooth circle fiber bundle $$ S^1 \to E\to B $$ where $E$ is a smooth 3-manifold and $B$ is a smooth surface. Assuming any $S^1$ fiber in $E$ is homotopically trivial, can we prove that $E$ is homeomorphic to $S^3$?

 
 
5 hours later…
4:07 PM
5
Q: Strategy of a game.

Oolong milk teaAlice and Bob are playing a game. They write down the integers between $1$ and $100$ (including $1$ and $100$). First, Alice choose a number she likes and deletes it, and then Bob chooses another number among the divisors and multiples of the deleted one. Then Alice repeats what Bob has done, cho...

7
Q: Why is the std::derived_from concept implemented with an additional convertibility test that adds cv-qualifiers?

BillIn the GCC C++20 concepts lib, it has template<typename _Derived, typename _Base> concept derived_from = __is_base_of(_Base, _Derived) && is_convertible_v<const volatile _Derived*, const volatile _Base*>; Why is requiring just __is_base_of(_Base, _Derived) not enough? What is the need t...

 
 
1 hour later…
5:07 PM
6
Q: Mutate all columns matching a pattern each time based on the previous columns

ztlHow can I mutate all columns containing a pattern (mutate_at I guess) using each time the previous column using dplyr? --> Here for example all column continaing foo in their name should be mutated using the column just before (i.e., a for column fooa, b for foob and so on). set.seed(13) dfrows ...

 
6:07 PM
3
Q: 3 questions about basics of Martin-Löf type theory

Gregory GI started to read the HoTT book. I'm now on chapter 1 and I have several questions concerning not even homotopical, but "regular" type theory. On page 24, where the universes are introduced, there is a sequence: $$\mathcal U_0:\mathcal U_1:\mathcal U_2:\cdots$$ Everything here makes sense, but I...

 
 
2 hours later…
8:07 PM
2
Q: Estimate a value with square roots squared without calculating

Cyh1368If $n$ is a natural number and $n<(6+\sqrt{29})^2<n+1$, find the value of $n$. This problem is, of course, very easy to solve with a calculator. But I am looking for a solution that does NOT need to find the value of $(6+\sqrt{29})^2$. Is there a way to do that?

 
8:55 PM
7
Q: The author primary signature's timestamp found a chain building issue: UntrustedRoot: self signed certificate in certificate chain

Wilson SilvaWhile doing my docker build on a Dotnet Core project I got the following error on all my Nugets: 80.19 /app/GradingTool.Tests/GradingTool.Tests.csproj : error NU3028: Package 'Microsoft.EntityFrameworkCore 5.0.0' from source 'https://api.nuget.org/v3/index.json': The author primary signature's t...

 
 
2 hours later…
10:37 PM
6
Q: Lagrangian of Reshetikhin-Turaev TFT's

Alonso Perez LonaOne of the results from the Reshetikhin-Turaev package is that given a modular tensor category $\mathscr{C}$ one can construct a TFT $Z$. In the case where $\mathscr{C}$ is the category of positive energy representations of the loop group, it is accepted that $Z$ coincides with the Chern-Simons t...

 

« first day (2210 days earlier)      last day (1184 days later) »