DEV Community

Discussion on: Easy Category Theory Part I: The Basics

Collapse
prathyvsh profile image
Prathyush

"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.