Introduction to Topos TheoryTopos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the wo...
AbstractA transversal in the multiplication table of a group is a set of |G| entries with different rows, columns, & symbols. Which multiplication tables have transversals? An answer was conjectured by Hall & Paige and proved by Wilcox, Evans, and Bray using the classification of finite simple groups. Recently, Eberhard, Manners, and Mrazović found an alternative proof of the Hall-Paige conjec...