meta user
network profile
| bio | website | linkedin.com/in/crntaylor |
|---|---|---|
| location | London, United Kingdom | |
| age | 29 | |
| visits | member for | 2 years, 5 months |
| seen | 1 hour ago | |
| stats | profile views | 2,478 |
I'm interested in functional programming, type theory and very applied math - including systematic trading, statistics, artificial intelligence and machine learning.
I'm working on an AI Library in Haskell. Feel free to fork.
|
Feb 27 |
accepted | Eilenberg Moore category |
|
Feb 26 |
comment |
Eilenberg Moore category @TomEllis Something like newtype Algebra t a = Algebra (t a -> a) and newtype Morphism t a b = Morphism (a -> b) - so you don't actually need to pair a type with a value, it's implicit in the definition. So given an algebra $(a,h:Ta \to a)$ and a morphism $f:a\to b$ you can't actually return the algebra that the morphism maps to, but you can check that some morphism $f:a\to b$ is an algebra homomorphism between $(a,h:Ta\to a)$ and $(b,k:Tb\to b)$ by checking (modulo newtypes) that $k\circ Tf = f\circ h$. |
|
Feb 26 |
comment |
Eilenberg Moore category I suppose my issue is that I'm actually trying to implement these things - my intuition was that an algebra homomorphism should be a function that returns $(B,k)$ when given $(A,h)$, but clearly that doesn't have to be the case. |
|
Feb 25 |
revised |
Eilenberg Moore category added 9 characters in body |
|
Feb 25 |
asked | Eilenberg Moore category |
|
Feb 21 |
awarded | Announcer |
|
Feb 21 |
revised |
Differential Equation : $f '' = f '$ added 8 characters in body |
|
Feb 19 |
comment |
KdV and forest dynamics As you say, there appears to be no information on the internet related jointly to the terms "KdV" (or "Korteweg de Vries" etc) and "Forest dynamics" (or "forest", "computational ecology" etc). There are three explanations I can think of: (1) there is a connection, but no one has written about it on the internet or published any papers about it, (2) whoever told you that the KdV equation models forest dynamics was mistaken, or (3) you misheard 'fluid dynamics' as 'forest dynamics'. I will leave you to assign your own relative likelihoods to those possibilities. |
|
Feb 15 |
comment |
Corroboration Of Simple Algebra For A Physics Lab All look right to me. |
|
Feb 15 |
revised |
Corroboration Of Simple Algebra For A Physics Lab added 11 characters in body |
|
Feb 14 |
answered | What's a conventional or useful notation for “second-highest”? |
|
Feb 13 |
revised |
Pseudocode for view the combinations . added 320 characters in body |
|
Feb 13 |
answered | Pseudocode for view the combinations . |
|
Feb 13 |
comment |
Prove that $\left (\frac{a^2 + b^2 +c^2}{a+b+c} \right) ^ {(a+b+c)} > a^a b^b c^c$ @Iuli Answers that only include a link are bad, for exactly this reason - very often the page that was linked to disappears. Can you edit your answer so that it's useful again? |
|
Feb 12 |
revised |
Bernoulli integral (conservation of energy) Prettifying |
|
Feb 8 |
comment |
Finding the ratio I like this more than my answer. |
|
Feb 8 |
answered | Finding the ratio |
|
Feb 7 |
answered | Probability of dice double - why not count duplicates? |
|
Feb 7 |
comment |
What are the odds of the pattern “2 black, followed by 2 red” occurring in a roulette game? A quick comment - if your 'system' is one designed to win at roulette, you should be aware that rolls of a roulette wheel are random (and biased in favour of the house) and that there is no 'system' that consistently wins at roulette. If, on the other hand, you mean something else by 'system' then feel free to ignore this comment! |
|
Feb 7 |
reviewed | Edit suggested edit on Probability of all parts functioning |
