Welcome to Covariance
...good general theory does not search for the maximum generality, but for the right generality.
Recently updated notes
| Note | Last Updated |
|---|---|
| Changelog | 10:17 AM - June 04, 2025 |
| Pool problems in group theory | 10:16 AM - June 04, 2025 |
| Centralizers in symmetric groups | 10:16 AM - June 04, 2025 |
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 | 7:21 AM - March 31, 2025 |
| Exterior algebras | 7:22 AM - March 31, 2025 |
| Symmetric algebras | 7:23 AM - March 31, 2025 |
| Symmetric and alternating tensors | 7:23 AM - March 31, 2025 |
| Tensor algebras | 7:23 AM - March 31, 2025 |
Algebraic geometry
| Note | Last Updated |
|---|---|
| Examples of classical conic duality | 7:24 AM - March 31, 2025 |
Category theory
| Note | Last Updated |
|---|---|
| Abelian categories | 12:33 PM - March 31, 2025 |
| Additive categories | 12:34 PM - March 31, 2025 |
| Adjoints | 12:38 PM - March 31, 2025 |
| Categories | 12:40 PM - March 31, 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:35 PM - March 31, 2025 |
| Exact sequences and chain homology | 12:35 PM - March 31, 2025 |
| Examples of adjoints | 12:39 PM - March 31, 2025 |
| Functor categories | 12:46 PM - March 31, 2025 |
| Functors | 12:46 PM - March 31, 2025 |
| Natural transformations | 12:47 PM - March 31, 2025 |
| Preadditive categories | 12:36 PM - March 31, 2025 |
| Properties of adjoints | 12:39 PM - March 31, 2025 |
| Special morphisms | 12:47 PM - March 31, 2025 |
| Spectral sequences | 12:37 PM - March 31, 2025 |
| The Salamander Lemma | 12:37 PM - March 31, 2025 |
| Universal arrows and elements | 12:48 PM - March 31, 2025 |
| Universal Properties I - Inspiring Examples | 12:48 PM - March 31, 2025 |
| Universal Properties II - Commutative diagrams, cones and limits | 10:38 AM - April 01, 2025 |
| Universal Properties III - Yoneda's Lemma | 12:50 PM - March 31, 2025 |
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 | 2:31 PM - April 09, 2025 |
Ring theory
| Note | Last Updated |
|---|---|
| Chinese Remainder Theorem | 7:25 AM - March 31, 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 |