Concept

Duality (order theory)

Related lectures (4)

Explores lattices in Rd, Gram matrices, theta functions, and modular properties.

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Explores the Duality Principle for Radon measures and its applications.

Covers non-degenerate quadratic lattices, local representability, equidistribution, and the Siegel theorem.