Skip to content

Instantly share code, notes, and snippets.

@adamnemecek
Last active January 6, 2020 19:24
Show Gist options
  • Save adamnemecek/89453c13f84f05ec9362c08746ce3b20 to your computer and use it in GitHub Desktop.
Save adamnemecek/89453c13f84f05ec9362c08746ce3b20 to your computer and use it in GitHub Desktop.

Adjointness

Adjoint

Adjointness expresses a condition that is essentially universal in mathematics, category theory, probability, logic, optimization, machine learning.

What is adjointness? Depends on the context.

This page is really illuminating.

I really like this definition: "adjoint operator ... back-projects information from data to the underlying model."

Essentially, it carries information about possible states at a point in time so that we can go back and forth.

Category theory

Adjoint functors are the foundation of "category theory". Adjoint functors capture solutions to optimization problems.

The slogan is "Adjoint functors arise everywhere".

— Saunders Mac Lane, Categories for the Working Mathematician

Inverse

Adjointnes is only a part of the story. One often sees equations

Norm

Adjointness is only a part of the story. Norm is the other character.

Probability

Check out Kolmogorov's three axioms of probability on Wikipedia. Translated, these mean: 1. 2. you have a norm 3. you have an adjoint

Chu spaces

Chu spaces are essentially matrices

Linear logic

Linear logic is a logic

C*-algebras

Constructive mathematics

Constructive mathematics is mathematics without the law of excluded middle.

Fourier transform

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment