category-theory topic
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
adjoint
Thoughts on adjoint, norm and such.
AbstractTensors.jl
Tensor algebra abstract type interoperability setup
DirectSum.jl
Tangent bundle, vector space and Submanifold definition
foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
category-parametric-talk
Talks on category-parametric programming.
caterwaul
Wailing into the primordial ooze of category theory
category-theory-bartosz-milewski-lecture-notes
Category theory for programmers lecture notes
Feval
evaluation using f-algebras
categories
Categories parametrized by morphism equality, in Agda