@article(adams2015state,
)
@article(arbib1980partially,
)
@article(chang1958algebraic,
)
@article(cho2017disintegration,
 doi          = {10.1017/S0960129518000488},
)
@inproceedings(sigma,
 doi          = {10.4204/EPTCS.340.5},
)
@article(foulis1994effect,
 doi          = {10.1007/BF02283036},
)
@article(freyd2008algebraic,
)
@article(fritzSyntheticApproachMarkov2020,
 doi          = {10.1016/j.aim.2020.107239},
)
@article(fritz2020representable,
 doi          = {10.48550/arXiv.2010.07416},
)
@article(harding1996decompositions,
 doi          = {10.1090/S0002-9947-96-01548-6},
)
@article(harding2004remarks,
 doi          = {10.1023/B:IJTP.0000049016.83846.72},
)
@article(jacobs2011probabilities,
 doi          = {10.1016/j.tcs.2011.04.005},
)
@article(jacobs2012coreflections,
 doi          = {10.1007/s10701-012-9654-8},
)
@inproceedings(Jacobs2020DeFinetti,
 doi          = {10.1007/978-3-030-57201-3\_6},
)
@article(jacobs2017distances,
 doi          = {10.23638/LMCS-16(1:26)2020},
)
@article(jenvca2015effect,
 doi          = {10.1007/s11083-014-9344-6},
)
@article(jenvca2019pseudo,
 doi          = {10.1016/j.fss.2019.07.003},
)
@article(kalmbach1977orthomodular,
)
@article(kopka1994d,
)
@article(leinster2011general,
 doi          = {10.1016/j.aim.2010.10.009},
)
@book(macLane2013categories,
 doi          = {10.1007/978-1-4612-9839-7},
)
@book(ManesA1986,
 doi          = {10.1007/978-1-4612-4962-7},
)
@article(tarski1941calculus,
)
@inproceedings(first,
 doi          = {10.1145/3373718.3394742},
)
@article(second,
 doi          = {10.22331/q-2020-12-24-378},
)
@article(reconstruction,
 doi          = {10.48550/arXiv.2109.10707},
)
@mastersthesis(basmaster,
)