Links and References

Operads

• Fresse, Homotopy of Operads and Grothendieck-Teichmüller Groups
• May, The Geometry of Iterated Loop Spaces
• MO question
• Stasheff, Homotopy Associativity of H-Spaces I

Enriched Categories

• Kelly, Basics of Enriched Category Theory
• Dorn, (Very basic) Enriched Category Theory

• Freyd, Algebraic real analysis
• Helemskii, Lectures and Exercises on Functional Analysis
• Section IV of Herrrlich and Porst (ed.), Category Theory at Work
• Wengenroth, Derived Functors in Functional Analysis

Foundations

• Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics
• Feferman, Categorical Foundations and Foundations of Category Theory
• Taylor, Practical Foundations of Mathematics
• Lawvere, The Category of Categories as a Foundation for Mathematics
• Benabou, Fibred Categories and the Foundations of Naive Category Theory

Biology

• Ehresmann and Vanbremeersch, Memory Evolutive Systems
• Baez and Otter, Operads and Phylogenetic Trees

Paraconsistent Logic

• Carnielli and Coniglio, Paraconsistent Logic: Consistency, Contradiction and Negation

Works of Lawvere

Bradley, What is applied category theory?

Gavrilovich and Pimenov, A naive diagram-chasing approach to formalisation of tame topology

Gavrilovich, The unreasonable power of the lifting property in elementary mathematics

Bunge, A personal tribute to Peter Freyd and Bill Lawvere

Most 'unintuitive' application of the Axiom of Choice?