Overview of Category Theory and its Potential for AGI Applicability
Details
Join us for an overview of Category Theory in the context of AI. Hosted virtually by Dr. Rem, Ph.D. Mathematics and researcher in episodic memory, attention mechanisms and blockchain technologies at SingularityNET and f1r3fly/IO. The talk will cover an historical overview of Category Theory, mainly centered around Lawvere's foundational program, complemented with a formal introduction following the work of Freyd.
Dr. Rem will provide an overview of category theory, and then mainly discuss Lawvere's program, concluding with some formal definitions taken from Freyd.