If this sort of thing is interesting to you -- using type theory and category theory to add compositionality to programming and databases -- also check out CQL'

If this sort of thing is interesting to you -- using type theory and category theory to add compositionality to programming and databases -- also check out CQL's cousin, the graph programming language Hydra: https://github.com/CategoricalData/hydra https://github.com/CategoricalData/hydra.