alg_d伝説はここにある #CTAC2018 （alg_d以外の方の執筆も歓迎です） [11/3追記]pure category theoryな内容に限らず、ユーザーとして圏論を使っている方々、最近圏論勉強しはじめた方々の記事も歓迎です！ 2017年の→https://adventar.org/calendars/2393