Git is simply a directed acyclic graph of commits with pointers, stashes, a few named data stores and two quasi-recursion mechanisms.

I suppose you could combine the two by pointing out that git is like a category where a git merge is like a pushout etc.

"It's like a burrito!"