Welcome to Covariance

The general fact of the uniqueness of the universal arrows implies the uniqueness of the ... object, up to a unique isomorphism (who wants more?).

Recently updated notes

Note Last Updated
Eigenvectors and linear independence 3:47 PM - March 15, 2025
2023-09 3:47 PM - March 15, 2025
Existence of an identity element in a group 3:46 PM - March 15, 2025

Knowledge

Mathematics

Software