対象と射を持たない圏
ありなんかそれ

{\bf ZERO}=(\varnothing,\varnothing,\bullet\circ\bullet)
注:
\bf ZEROという表記は

の造語
確かに、圏の要件は満たす
\vdash\forall A,B,C,D\in{\rm ob}({\bf ZERO})\forall h\in{\bf ZERO}(C,D)\forall g\in{\bf ZERO}(B,C)\forall f\in{\bf ZERO}(A,B).(h\circ g)\circ f=h\circ(g\circ f)
\vdash\forall A,B\in{\rm ob}({\bf ZERO})\forall f\in{\bf ZERO}(A,B).f\circ{\rm id}_A=f={\rm id}_B\circ f
\vdash\forall A,B,A',B'\in{\rm ob}({\bf ZERO}).{\bf ZERO}(A,B)\cap{\bf ZERO}(A',B')\neq\varnothing\implies A=A'\land B=B'
ウケる

実用性もZERO