Some docs, notes and proofs.

Date Document
2026-07-30 Computing the positive roots of a bound quiver of type $\mathrm{D}_{l,r}$
2025-12-05 Lecture notes from Mat729, Algèbre commutative et géométrie algébrique, Université de Sherbrooke
2025-04-18 Bachelor thesis, Yachay Tech University · source code
2025-01-31 Introducción a la topología general, Math Club YT
2024-11-01 Induced cohomology functor in an abelian category
2024-10-10 Homotopy of cochain complexes is an equivalence relation on $\text{Hom}_{\mathcal{C}(\mathcal{A})}(A^\bullet, B^\bullet)$
2024-09-30 La categoría $\mathcal{C}(\mathcal{A})$ de complejos de co-cadenas sobre una categoría abeliana $\mathcal{A}$ es abeliana
2024-09-25 Composition of morphisms in a localized category $\mathcal{C}_{S}$ is well defined