Applied Category Theory Course (2018)