Dijkstra algorithm and prove correctness of Dijkstra algorithm

Dijkstra algorithm and proof correctness of Dijkstra algorithm

I give the proof of correctness of the Dijkstra algorithm

#######################

Algorithm:

Advanced mathematics list:

Group representation for finite group

exact sequences

Ring theory lecture

group theory lecture

Category theory

Field theory in abstract algebra

Mathematical analysis