building functional knowledge systems →
#
>

and somewhat related, category theory

→