Vlad Patryshev, "Calculating Intuitionistic Logic in Scala"

This is a pre-talk for my talk in June at LambdaConf in Boulder.
I implemented toposes and their subobject classifiers, Ω, and demo the logic for a bunch of domain categories:

`knownCategories = List(
0, 1, 2, 3, 4, 5, 1plus1,
ParallelPair, Pullback, Pushout, SplitMono, Square,
M, W,
Z2, Z3,
HalfSimplicial, NaturalNumbers)`

But it works for any finite category.