## User login## Navigation |
## Tropical SemiringsTropical Semirings, Jean-Ã‰ric Pin. Idempotency 1994.
In the previous post, Ohad Kammar asked for some more examples of why we should care about adjunctions, which reminded me of one of my favorite examples. You can understand solving many optimization problems as looking for a Galois connection between your problem and the tropical semiring. (Galois connections in general are one of the sources of the program derivation superpowers of the Squiggolists. So if you want to prove programs like Shin Cheng-Mu does, it's worth understanding!) |
## Browse archives## Active forum topics |

## Recent comments

2 hours 7 min ago

4 hours 6 min ago

10 hours 1 min ago

1 day 2 hours ago

1 day 11 hours ago

1 day 22 hours ago

1 day 23 hours ago

2 days 2 min ago

2 days 1 hour ago

2 days 1 hour ago