Okay kiddo, so Joseph Goguen was a really smart guy who liked to think about how we can use computers and math to make things easier for people. He made up something called "category theory" which is like a language for talking about different kinds of things, like shapes, animals, and even ideas.
He used this category theory to help make computer programs easier and more efficient. He also helped create a programming language called "OBJ" which makes it easier for people to talk to computers and give them instructions. He was a very important person in the world of computer science and made things easier for lots of people.