How to prove equations using diagrams, part 1

henearkr

Very interesting!! A nitpick, for a J-shaped diagram D, J is the "index category" or the "scheme" of D, not the "shape" like written in the article.

boldslogan

man ive recently stumbled on this concept of functor or nonsymbolic logic and such. don't suppose you have any suggestions to look at?

fn-mote

This is a category theory post. The subtitle is “initial functors”. Now you can save yourself a click.