DEV Community

Discussion on: Easy Category Theory Part I: The Basics

prathyvsh profile image

"Then assemble these possibilities into a well-defined set of ideas using mathematical concepts, language, and notation to form statements (axioms) that are taken to be true and built upon to form further axioms."

Think you should have said further *theorems there.