COVID Solves Decades-Old Computer Science Issue miragenews.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from miragenews.com Daily Mail and Mail on Sunday newspapers.
During the corona epidemic many of us became amateur mathematicians. How quickly would the number of hospitalized patients rise, and when would herd immunity be achieved? Professional mathematicians were challenged as well, and a researcher at University of Copenhagen became inspired to solve a 30-year-old problem in computer science.
A more individual-oriented, new version of Petri net solves a Computer Science problem which had troubled computer scientists for decades. The coronavirus
COVID Yields Solution to Longstanding Computer Science Issue miragenews.com - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from miragenews.com Daily Mail and Mail on Sunday newspapers.
•
commutative monoidal categories.
• In a strict monoidal category we typically have
• In a strict symmetric monoidal category we have for each pair of objects a chosen isomorphism
• A commutative monoidal category is a symmetric strict monoidal category where the symmetry isomorphisms are all identities, so
So, we have a spectrum running from hardcore individualism, where two different things of the same type are
never interchangeable… to hardcore collectivism, where two different things of the same type are so interchangeable that switching them counts as doing nothing at all! In the theory of Petri nets and their variants, the two extremes have been studied better than the middle.