https://notes.koika.xyz/Category-Theory-Glossary/Hom-Set 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-Glossary/Pure-Functions 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-Glossary/Unique-Up-to-Isomorphism 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/0.-Category-Theory-for-Programmers 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/1.-Category 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/2.-Types-and-Functions 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/3.-Categories,-Great-and-Small 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/4.-Kleisli-Categories 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/5.-Product-and-Coproducts 2025-06-04T17:58:08.000Z https://notes.koika.xyz/Category-Theory-for-Programmers/6.-Simple-Algebracic-Data-Types 2025-06-04T17:58:08.000Z https://notes.koika.xyz/ 2025-06-04T17:58:08.000Z