TY - JOUR AU - Matej Dostal TI - A two-dimensional Birkhoff's theorem JO - Theory and applications of categories PY - 2016 SP - 73 EP - 100 VL - 31 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2016_31_a3/ LA - en ID - TAC_2016_31_a3 ER -