Perfectly appropriate use of category theory. Clarify structure of existing theory.

Content addressable file system.

A file system is a DAG of collections of bits (files)

DAG: …

Objects: commits. Every commit has a SHA-1 hash.

Arrows: from each commit to its parent