Adjunctions as Translations between Relative Equational Consequences

Abstrakt

O0

Kategorie a štítky

  • Abstrakt