User supercooldave - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T08:05:56Z http://mathoverflow.net/feeds/user/2620 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/28143/180-vs-360-twists-in-string-diagrams-for-ribbon-categories 180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories supercooldave 2010-06-14T17:31:48Z 2011-07-10T15:14:49Z <p>Ribbon categories are braided monoidal categories with a <a href="http://nlab.mathforge.org/nlab/show/twist" rel="nofollow">twist</a> or balance, $\theta_B:B\to B$, which is a natural transformation from the identity functor to itself. In the string diagram calculus for ribbon categories, the ribbon is represented as a 360˚ twist in a ribbon (<em>op. cit.</em>). (See for example Street's <em>Quantum Groups</em> or Kassel's <em>Quantum Groups</em> for details.)</p> <p>My questions are: </p> <ul> <li><p>Is there work describing what happens if we consider a 180˚ twist? </p></li> <li><p>If not, what goes wrong if we take this half twist one of the operations of interest on ribbons? </p></li> <li><p>How are ribbons with a 180˚ twist axiomatised? What if loops are possible and we have twisted tangles? (I believe that <em>Traced Monoidal Categories</em> by Verity, Street and Joyal doesn't cover this case.)</p></li> </ul> http://mathoverflow.net/questions/25863/torsors-for-monoids Torsors for monoids supercooldave 2010-05-25T10:33:02Z 2011-06-22T12:19:43Z <p><a href="http://math.ucr.edu/home/baez/torsors.html" rel="nofollow">Torsors</a> are defined as a special kind of group action. I am wondering whether the analogous notion exists for monoid actions. Some references would be helpful.</p> <p>In general I'm interesting in the notion of 'subtraction/division' induced by having a torsor. My application is in computer science. A monoid is used to capture modifications to a computer program and the monoid action corresponds to performing the modification on the program. If I have a torsor-like entity, I can take two software entities and produce the modification required to convert one into the other.</p> <p>The answer is that any such monoid will automatically be a group. In my application, it seems that I will only get close to the notion of torsor if my modifications have inverses, which they do not.</p> http://mathoverflow.net/questions/28747/lattice-of-subcategories-subobject-classifier-in-cat Lattice of subcategories: subobject classifier in Cat supercooldave 2010-06-19T12:32:33Z 2010-10-10T06:03:49Z <p>Two short questions:</p> <ul> <li><p>Is there any work classifying the lattice of subcategories of an arbitrary (sufficiently small) category $\mathcal{C}$, similar to the way that the set of subsets of set $\mathcal{S}$ is isomorphic to the functions $\mathcal{S}\to\mathbf{2}$, where $\mathbf{2}$ is a two point set?</p></li> <li><p>Is there standard notation denoting the lattice of subcategories of some category?</p></li> </ul> <p>The definitions found in <a href="http://ncatlab.org/nlab/show/subcategory" rel="nofollow">nLab</a> are phrased in terms of functors going into $\mathcal{C}$, but the definition for sets talks about functions out of the set $\mathcal{S}$. Why are things done differently? That is, rather than characterising subcategories in terms of functors into $\mathcal{C}$, why not characterise them in terms of functors out of $\mathcal{C}$? Something like:</p> <blockquote> <p>The lattice of subcategories of $\mathcal{C}$ is isomorphic to the functor category $\mathcal{SO}^\mathcal{C}$, for some "subobject classifier" $\mathcal{SO}$.</p> </blockquote> http://mathoverflow.net/questions/39308/should-i-check-with-collaborators-before-presenting-unpublished-material/39309#39309 Answer by supercooldave for Should I check with collaborators before presenting unpublished material? supercooldave 2010-09-19T15:53:53Z 2010-09-19T15:53:53Z <p>Check with your collaborators on this one. Opinions vary.</p> http://mathoverflow.net/questions/38037/maximal-subcoalgebras-of-an-f1-coalgebra-corresponding-to-an-f-coalgebra Maximal subcoalgebras of an $F+1$-coalgebra corresponding to an $F$-coalgebra supercooldave 2010-09-08T08:14:04Z 2010-09-08T14:44:37Z <p>This context of this question is Rutten's <a href="http://en.wikipedia.org/wiki/F-coalgebra" rel="nofollow">Universal Coalgebra</a>, used for modelling systems. I'm interested in finding a description of a functor between different types of coalgebras corresponding to finding a certain subcoalgebra.</p> <p>An $F+1$-coalgebra $\langle S,\alpha:S\to F(S)+1\rangle$ can be thought of as a system whose transition shape is given by functor F plus the possibility of an error/termination, given by the +1. Assume that $F$ is a so-called Kripke polynomial functor: $F::=Id ~|~ B ~|~ F+F ~|~ F\times F ~|~ F^ A ~|~ \mathcal{P}_\omega F$, thus it preserves pullbacks.</p> <p>A subcoalgebra of $\langle S,\alpha:S\to F(S)+1\rangle$ is coalgebra $\langle S',\alpha':S'\to F(S')+1\rangle$, where $S'\subseteq S$ and $\alpha'$ is $\alpha'$ restricted to $S'$, such that its range falls within $F(S')+1$.</p> <p>I want to find the maximal subcoalgebra of this coalgebra which corresponds to an $F$-coalgebra. In terms of my application, this means I'm looking for the subset of states $S'\subseteq S$ that do not lead to the error state.</p> <p>Clearly, I can take the pullback of the functions $\alpha:S\to F(S)+1$ and $inl:F(S)\to F(S)+1$ to get a set $S_0\subseteq S$ which do not lead to an error in the first step. Iterating this process for functors $F^i+1$ seems to lead to progressively smaller subsets $S_i$ of $S$ each avoiding the error state for $i$ steps. What I'm lacking is a coherent description of the process.</p> <p>Is whether there is a more universal description of this construction in terms of limits or colimits, or at least, some known approaches to the problem?</p> <p>I asked this question on the computer science theory overflow (<a href="http://cstheory.stackexchange.com/questions/901/maximal-subcoalgebras-of-an-f1-coalgebra-corresponding-to-an-f-coalgebra" rel="nofollow">here</a>), but am re-asking it here as I received no feedback.</p> http://mathoverflow.net/questions/31105/enumerating-a-type-of-two-color-cycle/31110#31110 Answer by supercooldave for Enumerating a type of two-color cycle supercooldave 2010-07-08T20:21:28Z 2010-07-08T20:46:48Z <p>If your graph is $G=(V,E)$ and $B\subseteq E$ are the blue edges, then you can run an appropriate cycle enumeration algorithm on $G-(B\setminus{ b_i })$ for each $b_i\in B$. This ensures that at most one blue edge occurs in the graph. Perhaps the selected algorithm can be adapted to start with the edge $b_i$, ensuring that only graphs with exactly one blue edge are enumerated. </p> <p>Google reveals many such algorithms. I'm not sure which one suits your needs. No efficient algorithms exist, as along the way you would find Hamiltonian paths, which is an NP-complete problem.</p> http://mathoverflow.net/questions/31109/is-there-an-explicit-construction-of-a-free-coalgebra/31112#31112 Answer by supercooldave for Is there an explicit construction of a free coalgebra? supercooldave 2010-07-08T20:25:45Z 2010-07-08T20:33:57Z <p>One place to really see the difference is by considering <a href="http://dx.doi.org/10.1016/S0304-3975%2800%2900056-6" rel="nofollow">Universal Coalgebra</a> (also known as <a href="http://en.wikipedia.org/wiki/F-coalgebra" rel="nofollow">F-coalgebras</a>) (in contrast to <a href="http://en.wikipedia.org/wiki/Universal_algebra" rel="nofollow">Universal Algebra</a>). The structures considered by Universal Coalgebra are typically infinite, whereas those considered by Universal Algebra are finite. This is taken from a computer science angle. Universal Algebra is about data types and Universal Coalgebra is about systems. Initial algebras are correspond to least fixed points, whereas final coalgebras correspond to greatest fixed points.</p> <p>A <em>free coalgebra</em> (in this setting) corresponds to the final coalgebra of some functor (although one would call it a cofree coalgebra). A general introduction to the kinds of coalgebras I'm talking about is <em><a href="http://www.tac.mta.ca/tac/volumes/14/8/14-08.ps" rel="nofollow">Introduction to Coalgebra</a></em> by Jiri Adamek. This <a href="http://arxiv.org/abs/math/0403227v1" rel="nofollow">paper</a> provides a way of constructing the final coalgebras for a certain class of functors.</p> http://mathoverflow.net/questions/31079/working-in-groups-vs-alone-present-vs-past/31081#31081 Answer by supercooldave for Working in groups vs. alone: present vs. past supercooldave 2010-07-08T17:11:22Z 2010-07-08T17:11:22Z <p>From my (CS) perspective there are at least 2 forces which encourage working in pairs/groups. Teaching limits ones time and one has students, so one works with students. Secondly, funding schemes often encourages collaboration between various parties (I'm thinking large European projects here). Even local (Belgian) funding schemes favour consortia to individuals.</p> http://mathoverflow.net/questions/30735/when-did-the-career-of-1-as-a-prime-number-begin-and-when-did-it-end/30737#30737 Answer by supercooldave for When did the career of 1 as a prime number begin and when did it end? supercooldave 2010-07-06T08:29:39Z 2010-07-06T08:49:38Z <p>Wikipedia has lots of information on this topic. For example, <a href="http://en.wikipedia.org/wiki/Prime_number" rel="nofollow">"Henri Lebesgue is said to be the last professional mathematician to call 1 prime."</a></p> http://mathoverflow.net/questions/30543/building-optimal-rewriting-rules/30596#30596 Answer by supercooldave for Building optimal rewriting rules. supercooldave 2010-07-05T08:20:02Z 2010-07-05T08:52:48Z <p>The <a href="http://en.wikipedia.org/wiki/Trie" rel="nofollow"><strong>trie</strong></a> data structure seems to be precisely the structure you are looking for. It is more efficient in terms of both space and time than providing a table of rewrite rules. There are quite a few references on the wiki page linked above, including volume 3 of Knuth's <em>The Art of Computer Programming</em>. More recent and more efficient variants may exist.</p> <p>Consider the following example trie. Rather than being a collection of key-value pairs, keys are made up of labels on the paths of the tree, and the corresponding values are associated with a leaf (the numbers in the example). For example, in the figure key <em>to</em> maps to value <em>7</em> and key <em>ted</em> maps to value <em>4</em>.</p> <p><img src="http://upload.wikimedia.org/wikipedia/commons/b/be/Trie_example.svg" alt="alt text"></p> http://mathoverflow.net/questions/30476/solving-a-system-of-linear-inequalities-what-is-the-dimension-of-the-solution/30478#30478 Answer by supercooldave for Solving a system of linear inequalities -- what is the dimension of the solution set? supercooldave 2010-07-04T02:39:43Z 2010-07-04T02:39:43Z <p>These <a href="http://www.lehigh.edu/~tkr2/teaching/ie418/lectures/Lecture4.pdf" rel="nofollow">notes</a> give you an answer to question 2, computing the dimension. </p> http://mathoverflow.net/questions/30318/predicting-if-something-is-a-code/30321#30321 Answer by supercooldave for Predicting if something is a code supercooldave 2010-07-02T15:30:12Z 2010-07-02T16:11:32Z <p>Interestingly enough, there was an article about this exact topic (more or less) on slashdot recently. Here's a link to the <a href="http://news.slashdot.org/story/10/06/30/2253249/Automated-Language-Deciphering-By-Computer-AI" rel="nofollow">slashdot story</a>, the <a href="http://people.csail.mit.edu/bsnyder/papers/bsnyder_acl2010.pdf" rel="nofollow">scientific article</a> it refers to, and <a href="http://web.mit.edu/newsoffice/2010/ugaritic-barzilay-0630.html" rel="nofollow">MIT news article</a> about the topic.</p> <p>The abstract of the scientific article is:</p> <blockquote> <p>In this paper we propose a method for the automatic decipherment of lost languages. Given a non-parallel corpus in a known related language, our model produces both alphabetic mappings and translations of words into their corresponding cognates. We employ a non-arametric Bayesian framework to simultaneously capture both low-level character mappings and high-level morphemic correspondences. This formulation enables us to encode some of the linguistic intuitions that have guided human decipherers. When applied to the ancient Semitic language Ugaritic, the model correctly maps 29 of 30 letters to their Hebrew counterparts, and deduces the correct Hebrew cognate for 60% of the Ugaritic words which have cognates in Hebrew.</p> </blockquote> <p>Of course, this assumes that you know what language your unknown language is related to. If it is made up, it's probably worth knowing what languages its author knows and/or speaks.</p> <p>The tool is probably available from the authors. It does not appear on <a href="http://people.csail.mit.edu/bsnyder/" rel="nofollow">Benjamin Snyder</a>'s web page, though other tools do.</p> <p><em>On the other hand</em>, if the text is cryptographically encoded (well) then you'll have a hard job of decrypting it. The field of <a href="http://en.wikipedia.org/wiki/Cryptanalysis" rel="nofollow">cryptanalysis</a> or 'code-breaking' deals with that topic.</p> http://mathoverflow.net/questions/30285/question-on-book/30287#30287 Answer by supercooldave for question on book supercooldave 2010-07-02T08:02:02Z 2010-07-02T08:02:02Z <p>That depends upon what you are looking for. If you want to learn about techniques used by hackers to break into systems (and thereby improve your programming to stop those hackers), then this book is no good for you. On the other hand, if you want to learn about low level bit-flipping tricks, then this could be of interest. It is well written and tells a good story. Perhaps not the story you expect.</p> http://mathoverflow.net/questions/30191/software-for-tree-decompositions/30193#30193 Answer by supercooldave for Software for Tree-Decompositions supercooldave 2010-07-01T14:44:32Z 2010-07-01T14:44:32Z <p>Some tree decomposition software is given here: <a href="http://hein.roehrig.name/dipl/" rel="nofollow">http://hein.roehrig.name/dipl/</a>. I haven't used it so can say nothing about it's quality.</p> http://mathoverflow.net/questions/30182/reducing-a-theorem-to-set-theory-using-first-order-logic/30183#30183 Answer by supercooldave for reducing a theorem to set theory using first order logic supercooldave 2010-07-01T13:33:26Z 2010-07-01T13:33:26Z <p><a href="http://www.amazon.com/Naive-Theory-Undergraduate-Texts-Mathematics/dp/0387900926" rel="nofollow"><em>Naive Set Theory</em></a> by Paul Halmos could help provide a naive solution.</p> http://mathoverflow.net/questions/30088/omega-monoids $\omega$-monoids supercooldave 2010-06-30T18:28:11Z 2010-06-30T19:48:40Z <p>Does the notion of $\omega$-monoid exist, analogous to the notions of $\omega$-groupoid and $\omega$-category? If so, some references would be appreciated.</p> <p>This is an attempted rephrasing of question: <a href="http://mathoverflow.net/questions/24723/chain-hierarchy-of-monoids" rel="nofollow">http://mathoverflow.net/questions/24723/chain-hierarchy-of-monoids</a>. My application domain is reasoning about modifiers of modifiers in software product line engineering, thus lacking established mathematical background. I find it easier to adapt existing results, even if the application domain is significantly different, so any help would be appreciated. </p> http://mathoverflow.net/questions/6081/ways-to-synthesize-topics-in-linear-algebra/30018#30018 Answer by supercooldave for Ways to Synthesize Topics in Linear Algebra supercooldave 2010-06-30T07:45:49Z 2010-06-30T07:45:49Z <p><a href="http://www.math.dartmouth.edu/~rweber/teaching/VectorSlides.pdf" rel="nofollow">Computer graphics</a> relies heavily on linear algebra. </p> http://mathoverflow.net/questions/30010/motivation-for-compactness/30017#30017 Answer by supercooldave for motivation for compactness supercooldave 2010-06-30T07:11:00Z 2010-06-30T07:11:00Z <p>You might want to look at the answers for this question: <a href="http://mathoverflow.net/questions/27660/applications-of-compactness" rel="nofollow">http://mathoverflow.net/questions/27660/applications-of-compactness</a></p> http://mathoverflow.net/questions/29949/what-is-the-shortest-program-for-which-halting-is-unknown/29953#29953 Answer by supercooldave for What is the shortest program for which halting is unknown? supercooldave 2010-06-29T18:44:41Z 2010-06-29T21:33:36Z <p>It's quite possible that the <a href="http://en.wikipedia.org/wiki/Collatz_conjecture" rel="nofollow">Collatz conjecture</a> provides an answer. Apply this function repeatedly. The conjecture is that this process will eventually reach the number 1, regardless of which positive integer is chosen initially. </p> <p><img src="http://upload.wikimedia.org/math/0/6/5/065cac984cf6f6f07fd55a27ba19ba54.png" alt="alt text"></p> <p>Not sure how many lines of code this would be. Probably 2 in Haskell.</p> http://mathoverflow.net/questions/29577/solved-sequent-calculus-as-programming-language/29594#29594 Answer by supercooldave for [solved] sequent calculus as programming language supercooldave 2010-06-26T09:21:58Z 2010-06-28T19:11:49Z <p>To answer your question about representing sequent calculi proofs in a computer, you need to look at the <a href="http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence" rel="nofollow">Curry-Howard isomorphism</a>. Formula in a sequent are annotated with terms and the sequent calculus for intuitionistic logic resembles the type rules for the typed lambda calculus. If you want to manipulate this, then you need to record the assumptions (left-hand side of the turnstyle $\vdash$), which corresponds to recording the types of free variables. Then the right-hand side is a $\lambda$-term (describing the proof) and its type (the formula proven).</p> <p>There's a vast amount of literature about this. The reference you probably want is <a href="http://pauillac.inria.fr/~herbelin/publis/csl-Her94-lambda-bar.ps.gz" rel="nofollow"><em>A $\lambda$-calculus structure isomorphic to sequent calculus structure</em></a> by Hugo Herbelin. The <a href="http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf" rel="nofollow">book</a> by Morten Heine B. Sørensen and Pawel Urzyczyn is an extensive study of the topic. This kind of encoding is at the heart of proof assistants such as <a href="http://coq.inria.fr/" rel="nofollow">Coq</a>.</p> <p>Other possible correspondences include <strong>Sequent calculus ~ Abstract Machine.</strong> See <em><a href="http://www.cs.indiana.edu/~sabry/papers/sequent.pdf" rel="nofollow">Sequent calculi and abstract machines</a></em> by Zena M. Ariola, Aaron Bohannon, Amr Sabry, ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 31 , Issue 4 (May 2009). Or more generally, and perhaps more loosely, <strong>Sequent calculus ~ Operational Semantics.</strong> You also have <strong>proofs ~ processes</strong>, as explored by <a href="http://www.comlab.ox.ac.uk/files/301/pasp.ps" rel="nofollow">Abramsky</a> and <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.85.9963&amp;rep=rep1&amp;type=pdf" rel="nofollow">Saraswat</a>, the latter in the context of concurrent constraint programming.</p> http://mathoverflow.net/questions/29419/characterizing-visual-proofs/29480#29480 Answer by supercooldave for Characterizing visual proofs supercooldave 2010-06-25T07:54:05Z 2010-06-25T07:54:05Z <p>This may not directly answer to your question. A different MO question about <a href="http://mathoverflow.net/questions/25187/resources-for-graphical-languages-penrose-notation-feynman-diagrams-birdtra/25331#25331" rel="nofollow">Resources for graphical languages</a> accumulated quite a few references for proofs based on <em>string diagrams</em>. These have precise semantics generally in terms of monoidal categories and can be used to prove results about quantum groups among other things.</p> http://mathoverflow.net/questions/28143/180-vs-360-twists-in-string-diagrams-for-ribbon-categories/29261#29261 Answer by supercooldave for 180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories supercooldave 2010-06-23T17:14:16Z 2010-06-23T17:14:16Z <p>I stumbled across <a href="http://www.mscs.dal.ca/~selinger/papers/halftwist.pdf" rel="nofollow"><em>Autonomous categories in which $A \cong A^∗$</em></a> by Peter Selinger. It states that the graphical representation of the self-duality $h_A:A\to A^*$ is represented by a half-twist of a ribbon. A coherence result is conjectured, but not proven (of course).</p> http://mathoverflow.net/questions/28916/learning-roadmap-for-software-engineer/28923#28923 Answer by supercooldave for Learning Roadmap for Software Engineer supercooldave 2010-06-21T06:53:29Z 2010-06-21T10:10:43Z <p>If you want to learn some of the beautiful things related to computer science, then I recommend the following topics and/or books:</p> <ul> <li><p><strong>Logic</strong>: many introductory books exist. Something like <em>Mathematical Logic for Computer Science</em> by Mordechai Ben-Ari focuses on CS-related topics. Learning about modal logic (eg <em>Modal Logic</em> by Patrick Blackburn, Maarten de Rijke, and Yde Venema, though not as a beginning text) is useful for other fields of computer science, including AI and verification and model checking.</p></li> <li><p><strong>Formal Languages</strong>: <em>Introduction to Automata Theory, Languages, and Computation</em> by John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, <em>Elements of the Theory of Computation</em> Harry R. Lewis, Christos H. Papadimitriou, and <em>Computational Complexity</em> by Christos H. Papadimitriou.</p></li> <li><p><strong>Programming Language Theory and Type Systems</strong>: <em>Types and Programming Languages</em> by BC Pierce</p></li> <li><p><strong>Model Checking</strong>: <em>Model Checking</em> by EM Clarke and <em>Principles of Model Checking</em> by Christel Baier and Joost-Pieter Katoen</p></li> <li><p><strong>Concurrency Theory and Process Algebra</strong>: firstly <em>Communicating and Mobile Systems: The Pi Calculus</em> by Robin Milner, then <em>The Pi-Calculus: A Theory of Mobile Processes</em> by Davide Sangiorgi and David Walker. Other possibilities include <em>Communicating Sequential Processes</em> by C.A.R. Hoare and <em>Introduction to Process Algebra</em> by Wan Fokkink. <em>Modelling Distributed Systems</em> by Wan Fokkink models systems using process algebra so they can be checked for correctness using model checking.</p></li> <li><p><strong>Verification</strong>: <em>Verification of Sequential and Concurrent Programs</em> by Krzysztof R. Apt, Frank S. Boer, and Ernst-Rüdiger Olderog.</p></li> <li><p><strong>Category Theory</strong>: <em>Basic Category Theory for Computer Scientists</em> by Benjamin C. Pierce or <em>Categories and Computer Science</em> by R. F. C. Walters.</p></li> <li><p><strong>Graph Theory</strong>: <em>Graph Theory: An Advanced Course</em> by Adrian Bondy and U.S.R. Murty</p></li> <li><p><strong>Lattice Theory</strong>: <em>Introduction to Lattices and Order</em> by B. A. Davey and H. A. Priestley</p></li> <li><p><strong>Semantics, Domain Theory, Abstract Interpretation</strong>: <em>Semantics with Applications: An Appetizer</em> by Hanne Riis Nielson and Flemming Nielson provides a rudimentary introduction, also linking denotational semantics to program analysis via abstract interpretation. <em><a href="http://homepages.inf.ed.ac.uk/gdp/publications/Domains_a4.ps" rel="nofollow">Plotkin's notes on Domain Theory</a></em> are excellent, more comprehensive, and more theoretically bent. <em>Principles of Program Analysis</em> by Flemming Nielson, Hanne R. Nielson, and Chris Hankin applies these ideas to program analysis.</p></li> </ul> <p>Still missing: field theory (for cryptography), combinatorics, and undoubtedly other topics.</p> http://mathoverflow.net/questions/28438/mathematics-and-autodidactism/28471#28471 Answer by supercooldave for Mathematics and autodidactism supercooldave 2010-06-17T08:23:27Z 2010-06-17T08:23:27Z <p>I find myself attracted to Springer's Graduate Texts in Mathematics and buy too many of them. Then they sit somewhere at home so that I can pick them up and read them whenever I get a chance. These are essentially filling in background information that I don't have or don't remember (I'm as CS prof with a rusty major in mathematics). If I find a topic that particularly interests me, I chase it down using <a href="http://arxiv.org/" rel="nofollow">http://arxiv.org/</a> and plain old google. This is more or less my <em>forward approach</em> to learning new things. I also have a <em>backwards approach</em>, consisting of finding a paper that appeals to me and then trying to fill in the backwards knowledge required to understand it. Of course, without doing the exercises or applying the stuff I read, my level of understanding is not as deep as it could be.</p> http://mathoverflow.net/questions/28379/good-quality-data-packages-for-statistical-structure-analysis-of-words-in-the-eng/28409#28409 Answer by supercooldave for Good quality data/packages for statistical/structure analysis of words in the English language supercooldave 2010-06-16T16:51:18Z 2010-06-16T16:51:18Z <p>The <a href="http://www.nltk.org/book" rel="nofollow">Natural Language Toolkit</a> for Python seems to pretty good.</p> http://mathoverflow.net/questions/13581/quantum-channels-as-categories-question-1/28138#28138 Answer by supercooldave for Quantum channels as categories: question 1. supercooldave 2010-06-14T16:05:31Z 2010-06-14T16:40:20Z <p>Plenty of recent work addresses encoding quantum protocols (and hence quantum channels, I guess) using category theory. Check out the work of <a href="http://www.comlab.ox.ac.uk/bob.coecke/" rel="nofollow">Bob Coecke</a> and any one related to him. A good starting point is <a href="http://arxiv.org/pdf/quant-ph/0402130" rel="nofollow"><em>A categorical semantics of quantum protocols</em></a> by Samson Abramsky and Bob Coecke. It has many of the ingredients you are probably looking for. Or perhaps <a href="http://arxiv.org/pdf/quant-ph/0510032" rel="nofollow"><em>Kindergarten Quantum Mechanics</em></a> also by Bob Coecke. There's also Dagger Categories by Peter Selinger, capturing the underlying categorical structures: <a href="http://www.mscs.dal.ca/~selinger/papers.html#dagger" rel="nofollow"><em>Dagger compact closed categories and completely positive maps</em></a>.</p> http://mathoverflow.net/questions/4235/relating-category-theory-to-programming-language-theory/27704#27704 Answer by supercooldave for Relating Category Theory to Programming Language Theory supercooldave 2010-06-10T15:01:47Z 2010-06-10T15:01:47Z <p>A lot of work has been done in this area. As mentioned above, there is an essential correspondence between the $\lambda$-calculus and Closed Cartesian Categories. Moggi's seminal work <a href="http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf" rel="nofollow"><em>Notions of Computations and Monads</em></a> developed a unified way of treating many computational effects. This of course inspired Haskell's current approach to dealing with IO, State, Concurrency and so forth. The dual approach, <a href="http://math.ut.ee/luebeck2006/TLW2006.pdf" rel="nofollow"><em>Comonadic Notions of Computation</em></a> by Tarmo Uustalu and Varmo Vene, captures a other notions, such as stream based computation. Classes and object-oriented languages can be modelled using coalgebra (also mentioned above). A general reference to the coalgebraic approach is <a href="http://www.cwi.nl/~janr/papers/files-of-papers/universal_coalgebra.pdf" rel="nofollow"><em>Universal Coalgebra: A Theory of Systems</em></a> by Jan Rutten, and articles showing how to apply it to object-oriented languages include <a href="http://www.cs.ru.nl/B.Jacobs/PAPERS/ETAPS98.ps" rel="nofollow"><em>Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools</em></a> and <a href="http://www.cs.ru.nl/B.Jacobs/PAPERS/CMCS98.ps" rel="nofollow"><em>Coalgebraic Reasoning about Classes in Object-Oriented Languages</em></a> by Bart Jacobs and colleagues. Although these are aimed at reasoning about programs, they do give semantics for the relevant programming languages along the way.</p> http://mathoverflow.net/questions/27681/formulas-for-the-liar-paradox/27685#27685 Answer by supercooldave for Formulas for the liar paradox supercooldave 2010-06-10T12:30:04Z 2010-06-10T12:30:04Z <p>There is an extensive discussion of this issue in <em>Vicious Circles</em> by Jon Barwise and Lawrence S. Moss.</p> http://mathoverflow.net/questions/24723/chain-hierarchy-of-monoids Chain/Hierarchy of Monoids supercooldave 2010-05-15T10:45:40Z 2010-06-09T13:17:05Z <p>Let's assume that we have the following collection of structures:</p> <ul> <li>Some <em>space</em> $P$.</li> <li>Monoids $(M_{i+1},\circ_{i+1})$, and</li> <li>Actions $\bullet_{i+1}:M_{i+1}\times M_i\to M_i$, for $i\ge 0$</li> <li>And $\bullet_{0}:M_0\times P\to P$.</li> </ul> <p>satisfying</p> <ul> <li>($\bullet$ is a monoid action): $(m\circ_{i+1}m')\bullet_{i+1} n = m\bullet_{i+1}(m'\bullet_{i+1} n)$ and</li> <li>($m\bullet-$ is a homomorphism): $m\bullet_{i+1}(n\circ_{i}n')=(m\bullet_{i+1}n)\circ_{i} (m\bullet_{i+1} n')$.</li> </ul> <p>In my application, $P$ corresponds to computer programs. $M_0$ are modifications to elements of $P$. If you wish, you can think of $M_0$ as some kind of structured patch. Then each $M_{i+1}$ are <em>higher-order modifications</em> of the modifications in $M_i$.</p> <p>The hierarchy isn't necessarily infinite.</p> <p>I'm curious to know what kind of structure I'm looking at. I originally felt that I was defining some kind of $n$-category with one object at each level, namely the endomorphism, but one reader commented that my structures were too floppy, meaning that there were not enough equations.</p> <p>It seems that the structure I'm interested in is related to the <a href="http://www.math.rutgers.edu/~sthomas/book.ps" rel="nofollow">automorphism tower</a> for groups, except that I'm interest in monoids, and rather than automorphism, I'm only concerned with endomorphism, and I am working indirectly through monoid actions, rather than having the endomorphism apply to the morphisms at the level below.</p> <p>Have I defined a known structure? </p> <p>What natural equations would one expect to link the various levels with each other?</p> <p>What additional properties does it satisfy? What reasonable properties should it satisfy?</p> <p>Are there conditions under which it becomes degenerate?</p> <p>Any pointers would be appreciated.</p> http://mathoverflow.net/questions/26177/uses-of-bisimulation-outside-of-computer-science Uses of bisimulation outside of computer science. supercooldave 2010-05-27T18:25:04Z 2010-06-07T12:01:55Z <p><a href="http://en.wikipedia.org/wiki/Bisimulation" rel="nofollow">Bisimulation</a> is one of the most important ideas of theoretical computer science. I was wondering whether bisimilarity is used/known outside of computer science/modal logic? I am aware that it corresponds more or less to back and forth techniques from model theory, but are there any other areas where it finds application?</p> <p>For those not in the know, here is a definition:</p> <blockquote> <p>Given a <a href="http://en.wikipedia.org/wiki/State_transition_system" rel="nofollow">labelled transition system</a> $(S,\Lambda,\to)$, a <em>bisimulation</em> relation is a binary relation $R$ over $S$ (that is, $R\subseteq S\times S$) such that for all pairs of elements $p,q\in S$ with $(p,q)\in R$, and for all $\alpha\in\Lambda$, we have </p> <ul> <li>$p\to^\alpha p'$ implies that there is a $q'$ such that $q\to^\alpha q'$ and $(p',q')\in R$, and</li> <li>symmetrically for $q$, namely, $q\to^\alpha q'$ implies that there is a $p'$ such that $p\to^\alpha p'$ and $(p',q')\in R$.</li> </ul> </blockquote> <p>Applications collected thus far in answers include:</p> <ul> <li>process equivalence in concurrency theory</li> <li>model logic: expressiveness characterisations, modal correspondence theory</li> <li>coinduction, for example in Game Theory</li> <li>non-well founded set theory</li> <li>algebraic set theory</li> <li>geometric topology</li> </ul> http://mathoverflow.net/questions/97007/buchi-automata-with-acceptance-strategy Comment by supercooldave supercooldave 2012-05-16T06:49:55Z 2012-05-16T06:49:55Z Appears also here: <a href="http://cstheory.stackexchange.com/questions/11414/buchi-automata-with-acceptance-strategy" rel="nofollow" title="buchi automata with acceptance strategy">cstheory.stackexchange.com/questions/11414/&hellip;</a> http://mathoverflow.net/questions/57791/turing-machine-which-generates-order-on-the-set-of-its-states Comment by supercooldave supercooldave 2011-03-08T09:21:09Z 2011-03-08T09:21:09Z Cross posted on CSTheory stackexchange: <a href="http://cstheory.stackexchange.com/questions/5346/turing-machine-which-generates-order-on-the-set-of-its-states" rel="nofollow" title="turing machine which generates order on the set of its states">cstheory.stackexchange.com/questions/5346/&hellip;</a> http://mathoverflow.net/questions/47179/beside-teaching-what-a-mathematician-can-have-as-a-job/47201#47201 Comment by supercooldave supercooldave 2010-11-24T08:38:38Z 2010-11-24T08:38:38Z One thing I find is that mathematical training helps me conceptualise problems better. My girlfriend had no such training. She's a programmer, but it is clear to see the huge difference in the way we conceptualise problems. This is not to say that my conceptualisations are better. They do tend to be more abstract and not get caught up in unnecessary details. http://mathoverflow.net/questions/41121/four-color-proof/41124#41124 Comment by supercooldave supercooldave 2010-10-05T15:15:16Z 2010-10-05T15:15:16Z Different versions of Coq differ in the libraries of theories and tactics and other, often superficial, features. The core logic remains the same. http://mathoverflow.net/questions/39946/transitive-closure-of-multigraphs Comment by supercooldave supercooldave 2010-09-27T06:48:56Z 2010-09-27T06:48:56Z A more interesting question is &quot;what is the transitive closure of a hypergraph?&quot; http://mathoverflow.net/questions/38037/maximal-subcoalgebras-of-an-f1-coalgebra-corresponding-to-an-f-coalgebra/38060#38060 Comment by supercooldave supercooldave 2010-09-14T04:49:33Z 2010-09-14T04:49:33Z That seems to be just what the doctor ordered. http://mathoverflow.net/questions/31537/banach-lattice-with-ap-but-without-bap Comment by supercooldave supercooldave 2010-07-12T13:45:11Z 2010-07-12T13:45:11Z Vote to close. 3rd junk post by this member. http://mathoverflow.net/questions/31505/math-and-music-theory Comment by supercooldave supercooldave 2010-07-12T09:50:03Z 2010-07-12T09:50:03Z And at least one book: <a href="http://www.amazon.com/Math-Music-Trudi-Hammel-Garland/dp/0866518290" rel="nofollow">amazon.com/Math-Music-Trudi-Hammel-Garland/dp/&hellip;</a>. In fact, there's a whole web site devoted to finding such connections: www.google.com http://mathoverflow.net/questions/31487/whats-a-good-approach-to-model-this-system Comment by supercooldave supercooldave 2010-07-12T09:46:27Z 2010-07-12T09:46:27Z This is not at all my field, but googling &quot;Finite Element Method&quot; might help get you on the right track, in the absence of better answers. http://mathoverflow.net/questions/31441/etymology-symplectic-contact Comment by supercooldave supercooldave 2010-07-11T18:14:12Z 2010-07-11T18:14:12Z The dictionary. Contact certainly does. Perhaps providing some context might help make a better question. http://mathoverflow.net/questions/31406/does-listing-the-prime-factors-always-stop Comment by supercooldave supercooldave 2010-07-11T13:30:29Z 2010-07-11T13:30:29Z So: $4=2.2 \to 22 =2.11\to 211$ prime!! Have you written a program to do this? Does the chosen base matter? http://mathoverflow.net/questions/31293/if-you-went-into-a-coma-now-and-woke-in-twenty-years-time-what-would-be-your-firs Comment by supercooldave supercooldave 2010-07-10T13:19:46Z 2010-07-10T13:19:46Z I agree with Mariano. http://mathoverflow.net/questions/31011/dividing-an-area-into-x-sections-update-with-picture/31034#31034 Comment by supercooldave supercooldave 2010-07-08T13:51:53Z 2010-07-08T13:51:53Z Indeed. $r\cos(360x/n)$ is $r*cos(360 * x/ n)$. http://mathoverflow.net/questions/31011/dividing-an-area-into-x-sections-update-with-picture Comment by supercooldave supercooldave 2010-07-08T12:15:38Z 2010-07-08T12:15:38Z <a href="http://en.wikipedia.org/wiki/Trigonometry" rel="nofollow">en.wikipedia.org/wiki/Trigonometry</a> http://mathoverflow.net/questions/31022/6-sequences-are-given-what-is-the-limit-of-the-last-one Comment by supercooldave supercooldave 2010-07-08T11:03:53Z 2010-07-08T11:03:53Z Looks like nonsense.