Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories by Mihails Milehins ðŸ“§ Sep 06