Abstract: It is shown that strong epimorphisms in the category of multisets are stable under pullbacks, and strong monomorphisms are stable under pushouts. This allows us to construct a category of ...
Equivalence relations (ERs) are logical entities that emerge concurrently with the development of language capabilities. In this work we propose a computational model that learns to build ERs by ...
This file is written by Li Xiang, Laraia Thomas, Pratt Johns Joe and Yu Ella, as Category A of the summer project "Algebra Theorem Proving in Lean".
Some results have been hidden because they may be inaccessible to you
Show inaccessible results