Unitary (higher) algebras I
In ordinary linear algebra, splitting a projection produces a subspace. In higher algebra, algebras and monads behave as higher-dimensional idempotents, and splitting them produces categories and higher categories of modules. This process—unitary higher idempotent completion—is the central theme of this two-semester sequence.
Beginning with the complex numbers, we develop the staircase
C -> Hilb -> 2Hilb -> 3Hilb
The first semester introduces finite-dimensional Hilbert spaces and operator algebras, modules and bimodules, Morita equivalence, semisimple unitary categories, and ordinary unitary Cauchy completion, culminating in the construction and classification of 2-Hilbert spaces. The second semester categorifies this story through unitary multitensor categories, algebra objects, module categories, 2-categories, and unitary condensation completion, culminating in the construction and representation theory of 3-Hilbert spaces.
All constructions will be finite-dimensional, with an emphasis on concrete examples, graphical calculus, and complete proofs of the central reconstruction theorems. Finite-dimensional linear algebra and mathematical maturity are assumed; no prior category theory, operator algebra, or higher algebra is required.
Unitary Higher Algebra I: From Hilbert Spaces to 2-Hilbert Spaces
This course develops the finite-dimensional foundations of unitary higher algebra. We begin with Hilbert spaces, adjoint operators, positivity and projections, and then study finite-dimensional C^*-algebras, traces, modules, bimodules and Morita equivalence. Category theory will be introduced from the beginning, including functors, natural transformations, adjunctions, linear categories, semisimplicity, and additive and idempotent completion.
The unifying question is how ordinary linear algebra changes when vector spaces are replaced by categories. This leads to unitary categories and 2-Hilbert spaces: finite semisimple unitary categories equipped with compatible trace data. The course culminates in the reconstruction of 2-Hilbert spaces as categories of unitary modules over finite-dimensional traced C^*-algebras, and in the equivalence
H^*Alg\cong 2Hilb
The course is self-contained beyond finite-dimensional linear algebra and may be taken independently of the second semester.
Beginning with the complex numbers, we develop the staircase
C -> Hilb -> 2Hilb -> 3Hilb
The first semester introduces finite-dimensional Hilbert spaces and operator algebras, modules and bimodules, Morita equivalence, semisimple unitary categories, and ordinary unitary Cauchy completion, culminating in the construction and classification of 2-Hilbert spaces. The second semester categorifies this story through unitary multitensor categories, algebra objects, module categories, 2-categories, and unitary condensation completion, culminating in the construction and representation theory of 3-Hilbert spaces.
All constructions will be finite-dimensional, with an emphasis on concrete examples, graphical calculus, and complete proofs of the central reconstruction theorems. Finite-dimensional linear algebra and mathematical maturity are assumed; no prior category theory, operator algebra, or higher algebra is required.
Unitary Higher Algebra I: From Hilbert Spaces to 2-Hilbert Spaces
This course develops the finite-dimensional foundations of unitary higher algebra. We begin with Hilbert spaces, adjoint operators, positivity and projections, and then study finite-dimensional C^*-algebras, traces, modules, bimodules and Morita equivalence. Category theory will be introduced from the beginning, including functors, natural transformations, adjunctions, linear categories, semisimplicity, and additive and idempotent completion.
The unifying question is how ordinary linear algebra changes when vector spaces are replaced by categories. This leads to unitary categories and 2-Hilbert spaces: finite semisimple unitary categories equipped with compatible trace data. The course culminates in the reconstruction of 2-Hilbert spaces as categories of unitary modules over finite-dimensional traced C^*-algebras, and in the equivalence
H^*Alg\cong 2Hilb
The course is self-contained beyond finite-dimensional linear algebra and may be taken independently of the second semester.
Lecturer
Date
7th September ~ 28th December, 2026
Location
| Weekday | Time | Venue | Online | ID | Password |
|---|---|---|---|---|---|
| Monday | 08:50 - 11:25 | A3-3-301 | Zoom 17 | 442 374 5045 | BIMSA |
Prerequisite
Linear algebra
Audience
Undergraduate
, Advanced Undergraduate
, Graduate
Video Public
Yes
Notes Public
Yes
Language
English
Lecturer Intro
Quan Chen has been an assistant professor at BIMSA since June 2026. He was a postdoctoral researcher at Vanderbilt University, where he began his position in Fall 2023 under the mentorship of Professor Dietmar Bisch. He earned his Ph.D. in Mathematics from The Ohio State University in Spring 2023, working under the supervision of Professor David Penneys. His research interests lie in the areas of operator algebras, subfactor theory, and quantum algebra.