1,301 reputation
1013
bio website noamz.org
location Paris
age
visits member for 5 years, 9 months
seen 11 hours ago

May
29
comment How true are theorems proved by Coq?
@DavidRoberts: I am not sure the precise reference, but I know this is something that Peter Hancock and Anton Setzer have studied deeply. Here are some slides by Peter Hancock, which end with the claim in question: cs.swan.ac.uk/~csetzer/russell08/slides/hancock.pdf
May
9
comment Table of planar connected graphs
@this_is_an_apple such illustrated tables are included in the atlas by Jackson and Visentin I referenced above. Since you are considering planar graphs with multiple edges up to embedding-preserving isomorphism, it sounds like the objects you are interested in are precisely what are known as "planar maps".
May
9
answered Table of planar connected graphs
Apr
1
answered Embedding of classical into intuitionistic linear logic
Apr
1
comment Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic
there are a few references I might suggest, depending on what exactly you have in mind. But since that is a different question, I think the modus operandi for this site would be to accept my answer to your first question (if you think it is resolved), then post your second question separately, with a new title. That way it might also get noticed by people who didn't happen to click on the first question.
Mar
31
answered Conservativity of multiplicative linear logic over intuitionistic multiplicative linear logic
Nov
22
awarded  Civic Duty
Oct
23
awarded  Yearling
Oct
5
answered Has philosophy ever clarified mathematics?
Oct
4
accepted How to understand a rooting of a dessin d'enfant?
Oct
4
comment How to understand a rooting of a dessin d'enfant?
Thanks! Your simple formulation of rooted dessins d'enfants makes sense to me, and I appreciate the pointers.
Oct
4
asked How to understand a rooting of a dessin d'enfant?
Sep
25
comment Questions about dessin d'enfants, trees and their Shabat polynomials
this doesn't answer all your questions, but I asked a somewhat related question recently on stackexchange (about how to plot the dessin associated to a Belyi function, in Maple), and then posted the answer (which I learned of offline): math.stackexchange.com/questions/941628/…
Jul
2
awarded  Curious
May
15
awarded  Nice Answer
May
13
revised What is the effect of adding 1/2 to a continued fraction?
added an explicit description of the Raney transducer for adding 1/2
May
13
awarded  Necromancer
May
12
answered What is the effect of adding 1/2 to a continued fraction?
Apr
1
comment defining a bicategory of real-valued matrices
Thank you, this is helpful. I am still interested in the original example (in particular, real-valued matrices with ordinary matrix multiplication) and whether it can be given something like the structure of a proarrow equipment, but it's helpful to have spelled out how this example differs from $\mathbf{Rel}$.
Mar
31
comment defining a bicategory of real-valued matrices
$\mathbf{FinMat}$ is a monoidal category, and so can be re-interpreted as a 2-category in the way you describe, but that just shifts my question one dimension up. Under that interpretation, each finite function $f : X \to Y$ determines a pair of linear transformations $k^{|X|} \to k^{|Y|}$ and $k^{|Y|} \to k^{|X|}$, and the question is whether/in what sense these can be seen as "adjoint"?