I don't really know much about this area, but there's a language literally called Lawvere.

https://github.com/jameshaydon/lawvere