and 2 others
A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming.Some basic knowledge is desired.Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacatDiscord server: https://discord.gg/Youtube channel: https://www.youtube.com/channel/UCNcyQSjtnPokHlm-hUIxYbw
Online event
220, Alumni Science Hall, Santa Clara University