All Questions

For all relational signatures $\sigma$ and nonnegative integers $n$, I want to count the number of isomorphism types of structures of order $n$ of the signature $\sigma$. What I mean by structure is ...

I'd like to know more about varieties (in the sense of universal algebra) where every algebra is free. Another way to state the condition is that the comparison functor from the Kleisli category to ...