1,136 reputation
1013
bio website noamz.org
location Paris
age
visits member for 5 years, 2 months
seen 16 hours ago

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"?
Mar
31
asked defining a bicategory of real-valued matrices
Feb
14
comment Does there exist a terminal surjective discrete fibration out of $C$?
Suppose that $C$ is a monoid, viewed as a one-object category. A discrete opfibration $F : C \to D$ over another one-object category $D$ corresponds to an injective homomorphism, and so there is an initial such one corresponding to the identity functor $C \to C$. What do you have in mind for the terminal discrete opfibration from $C$?
Jan
19
awarded  Necromancer
Dec
7
comment efficient arithmetic with (short) Conway games?
yes, I see now that Conway mentions this in "More Infinite Games" (library.msri.org/books/Book42/files/conway.pdf), though I'm curious as to why there is a valid definition of multiplication for Nimbers/impartial games.
Dec
6
comment efficient arithmetic with (short) Conway games?
I don't have a copy of the book yet, but I see that CGSuite fails evaluating multiplications like "{0|{0|0}} * {0|0}" ('No method "op *" for class CanonicalShortGame.'). Is the general case of arithmetic with short games still open (or known to be hard)?
Dec
5
comment efficient arithmetic with (short) Conway games?
This is great, thanks! I downloaded CGSuite, and will have a look at the book.