1 paper
Tom Leinster, Maia Woolf
A hard theorem of Givant classifies the finitary algebraic theories for which every algebra is free. From it, one easily deduces that all such theories are minimal (adding any furt…