revistas y artículos Obra de William F. Lawvere LA Theory and Applications of Categories TAC Stacks Project SP