There are 1 repository under homological-algebra topic.
CAP project -- Categories, Algorithms, and Programming
Deposited packages of the homalg project
Notes for the lecture course “Foundations in Representation Theory”.
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
The homalg project compatibility package for Julia
Equivalent definitions of flatness
DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
A rewrite of the Quiver frontend to use Bootstrap CSS so that it can be used as a diagram editor on all platforms having a web browser.
Typst Lecture Notes for University of Oxford course C2.2 Homological Algebra (Michaelmas, 2023-24)
Chain complexes in Julia
A short seminar I gave in Padova, in January 2020, dealing with the proof of De Rham theorem for singular and De Rham cohomology.
My math publications
Program (still in progress) for calculating resolutions of modules over the truncated Steenrod algebra 𝓐(1) at p = 2.