Cancel culture

Document Type : Research Paper


Department of Mathematics, Morgan State University, Baltimore, MD 21251, United States of America


Let A, B, C, and D be posets. Assume C and D are finite with a greatest element. Also assume that AC ≅B D. Then there exist posets E, X, Y , and Z such that A ≅E X, B ≅E Y , C≅Y ×Z, and D≅X×Z. If C≅D, then A≅B. This generalizes a theorem of Jónsson and McKenzie, who proved it when A and B were meet-semilattices.


Main Subjects

[1] Bergman, C., McKenzie, R., and Nagy, Z., How to cancel a linearly ordered exponent, Colloq. Math. Soc. János Bolyai 29. Universal Algebra Esztergom (Hungary), 1977. (North-Holland, 1982), 87-93.
[2] Birkhoff, G., Generalized arithmetic, Duke Math. J. 9 (1942), 283-302.
[3] Borceux, F., “Handbook of Categorical Algebra 1: Basic Category Theory”, Cambridge University Press, 1994.
[4] Davey, B.A. and Priestley, H.A., “Introduction to Lattices and Order”, Cambridge University Press, 2002.
[5] Dilworth, R.P. and Freese, R., Generators of lattice varieties, Algebra Universalis 6 (1976), 263-267.
[6] Dokuchaev, M. and Novikov, B., On Colimits over arbitrary posets, Glasg. Math. J. 58 (2016), 219-228.
[7] Duffus, D., “Toward a Theory of Finite Partially Ordered Sets,” Ph.D. thesis, Uni- versity of Calgary, Canada (1978).
[8] Duffus, D., Jónsson, B., and Rival, I., Structure results for function lattices, Canadian J. of Math. 30 (1978), 392-400.
[9] Erné, M., Compact generation in partially ordered sets, J. Austral. Math. Soc. 42 (1987), 69-83.
[10] Jónsson, B. and McKenzie, R., Powers of partially ordered sets: cancellation and refinement properties, Math. Scand. 51 (1982), 87-120.
[11] Krebs, M. and vander Zypen, D., Distributive lattice orderings and Priestley duality, Topology Proceedings 31 (2007), 583-591.
[12] MathOverflow, Is the homomorphism poset directed if the codomain is directed?, is-the-homomorphism-poset-directed-if-the-codomain-is-directed  
[13] McKenzie, R., Arithmetic of finite ordered sets: cancellation of exponents, II, Order 17 (2000), 309-332.  
[14] McKenzie, R., The zig-zag property and exponential cancellation of ordered sets, Order 20 (2003), 185-221.
[15] Riehl, E., “Category Theory in Context”, Dover Publications, 2016.
[16] Schröder, B.S.W., “Ordered Sets: An Introduction”, Birkhäuser, 2003.
[17] Schröder, B.S.W., “Ordered Sets, An Introduction with Connections from Combi- natorics to Topology”, Birkhäuser Verlag, 2016.
[18] The Stacks project, 4.21 Limits and colimits over preordered sets, https://stacks.
[19] Wright, J.B., Wagner, E.G., and Thatcher, J.W. A uniform approach to inductive posets and inductive closure, Theoret. Comput. Sci. 7 (1978), 57-77.