Finite categories? Hi, As part of a project on geometry of moduli of curves ('stacky fans') I'm trying to implement `c