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 |