Reputation
1,390
Top tag
Next privilege 2,000 Rep.
Edit questions and answers
Badges
11 13
Newest
 Yearling
Impact
~42k people reached

  • 0 posts edited
  • 1 helpful flag
  • 555 votes cast
Feb
3
answered The source-side-opposite of the arrow category
Jan
27
comment Non-Cartesian Monoidal Model Structure on a Slice Category
I'm also very interested in the history of this construction. Let me mention that (1) and (2) can also be formulated as follows: for any monoidal closed functor $p : \mathcal{E} \to \mathcal{B}$ which is also a Grothendieck bifibration, if $(M,\otimes,1) \in \mathcal{B}$ is a monoid in the basis, then its fiber $\mathcal{E}_M$ is monoidal closed. This approach is something Paul-André Melliès and I have looked at in recent years. One advantage of this formulation is that it also covers the Day construction of a monoidal closed structure on the presheaf category over a (pro)monoidal category.
Oct
23
awarded  Yearling
Sep
22
answered Classification of tangles?
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