Categorical interpretations of some key agreement protocols
  We give interpretations of some known key agreement protocols in the framework of category theory and in this way we give a method of constructing of many new key agreement protocols. 
Nick Inassaridze, Manuel Ladra and Tamaz Kandelaki
cs.CR math.CT