Rino JoseCC05: Understanding Adjoints, Lifts, Monads, and Extensions in terms of Information and CodeLast time we viewed categories from a constructivist perspective: a morphism (i.e., a relationship) between two objects means you can…Aug 28Aug 28
Rino JoseCC04: Isomorphic objects in terms of InformationLast time, we talked about how identities were crucial because they led to inverses and the concept of isomorphic objects — objects that…Aug 20Aug 20
Rino JoseCC03: The importance of identity morphisms in writing codeIn this article, we’ll look at the concept of identities in Category Theory and touch on how they can be applied to thinking about and…Aug 13Aug 13
Rino JoseCC02: Categories are what make analogies workIn our first article we talked about how Category Theory was the Mathematics of Analogies. Today, we’ll show how this motivates the…Aug 62Aug 62
Rino JoseCC01: Category Theory as the Mathematics of AnalogiesCategory Theory is notoriously difficult to understand, with plenty of abstract terms: functors, morphisms, co-cones, adjoints, and the…Jul 31Jul 31