Explore >> Select a destination


You are here

johnbender.us
| | thehousecarpenter.wordpress.com
8.9 parsecs away

Travel
| | A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...
| | blog.sigfpe.com
15.4 parsecs away

Travel
| |
| | cronokirby.com
11.2 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | rjlipton.com
111.3 parsecs away

Travel
| Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired...