SmolCat being an exploration of categories small enough for arrows to have uncontroversially intensional equality who knows? i might even write some words