Home
Welcome to Covariance
The search for the most useful set-theoretical foundations for category theory is a fascinating topic that unfortunately would require too long of a digression to explore. Instead, we sweep these foundational issues under the rug, not because these issues are not serious or interesting, but because they distract from the task at hand.
Recently updated notes
| Note | Last Updated |
|---|---|
| Vertical categorification | 12:40 PM - October 13, 2026 |
| Horizontal categorification | 12:36 PM - October 13, 2026 |
| Lie algebras | 12:20 PM - October 13, 2026 |
Knowledge
Mathematics
Algebra theory
Not to be confused with the general concept of algebra (abstract or otherwise), an algebra is an algebraic structure similar to a module, only with two internal binary operations.
| Note | Last Updated |
|---|---|
| Algebras | 11:06 AM - October 01, 2026 |
| Exterior algebras | 2:27 PM - November 06, 2025 |
| Symmetric algebras | 7:39 PM - November 02, 2025 |
| Symmetric and alternating tensors | 1:45 PM - November 04, 2025 |
| Tensor algebras | 7:42 PM - November 02, 2025 |
Algebraic geometry
| Note | Last Updated |
|---|---|
| Examples of classical conic duality | 7:24 AM - March 31, 2025 |
Category theory
| Note | Last Updated |
|---|---|
| Ab-categories | 6:51 AM - December 01, 2025 |
| Abelian categories | 6:55 AM - December 01, 2025 |
| Additive categories | 6:53 AM - December 01, 2025 |
| Adjoints | 8:45 PM - October 07, 2025 |
| Categories | 7:55 PM - October 07, 2025 |
| Chain complexes | 12:34 PM - March 31, 2025 |
| Diagram chases without elements | 7:26 PM - November 23, 2024 |
| Diagram lemmas | 12:34 PM - March 31, 2025 |
| Double complexes and mural maps | 12:51 PM - September 28, 2026 |
| Exact sequences and chain homology | 12:35 PM - March 31, 2025 |
| Examples of adjoints | 9:00 PM - October 07, 2025 |
| Functor categories | 8:42 PM - October 07, 2025 |
| Functors | 8:12 PM - October 07, 2025 |
| Horizontal categorification | 12:36 PM - October 13, 2026 |
| Kan extensions | 11:12 AM - November 24, 2025 |
| Natural transformations | 8:38 PM - October 07, 2025 |
| Properties of adjoints | 12:39 PM - March 31, 2025 |
| Special morphisms | 2:21 PM - November 18, 2025 |
| Spectral sequences | 12:37 PM - March 31, 2025 |
| The Salamander Lemma | 3:38 PM - December 09, 2025 |
| Universal arrows and elements | 12:48 PM - March 31, 2025 |
| Universal Properties I - Inspiring Examples | 7:56 PM - October 07, 2025 |
| Universal Properties II - Commutative diagrams, cones and limits | 3:08 PM - August 06, 2025 |
| Universal Properties III - Yoneda's Lemma | 10:14 AM - October 17, 2025 |
| Vertical categorification | 12:40 PM - October 13, 2026 |
Differential equations
Field theory
| Note | Last Updated |
|---|---|
| A question about finite fields | 10:26 AM - May 30, 2025 |
Group theory
| Note | Last Updated |
|---|---|
| Normal subgroups | 7:25 AM - March 31, 2025 |
Module theory
Representation theory
| Note | Last Updated |
|---|---|
| Representations of groups | 9:26 AM - July 08, 2025 |
Ring theory
| Note | Last Updated |
|---|---|
| Chinese Remainder Theorem | 9:26 AM - July 15, 2025 |
| Division rings | 9:54 AM - July 15, 2025 |
| Graded rings | 7:25 AM - March 31, 2025 |
| Least common multiples | 7:34 PM - July 21, 2024 |
| Principal ideal domains (PIDs) | 6:29 AM - May 07, 2024 |
Tropical algebraic geometry
| Note | Last Updated |
|---|---|
| Investigation into tropical tangency loci | 7:27 AM - March 31, 2025 |
| Linear tropical varieties | 7:27 AM - March 31, 2025 |
| Quadratic tropical varieties | 7:27 AM - March 31, 2025 |
| Tropical varieties | 7:27 AM - March 31, 2025 |
Software
Blender
| Note | Last Updated |
|---|
Houdini
| Note | Last Updated |
|---|
| Note | Last Updated |
|---|---|
| Systems of equations | 2:56 PM - August 06, 2024 |