Adjunctions as Translations between Relative Equational Consequences

Abstract

O0

Categories and tags

  • Abstrakt