Skip to main content
2 events
when toggle format what by license comment
Oct 26, 2020 at 14:16 comment added Reid Barton And so, in particular, it holds in the category of models of any finitary algebraic (or essentially algebraic) theory, that is, one described by operations that take only finitely many arguments.
Oct 26, 2020 at 8:01 history answered Tilman CC BY-SA 4.0