I suppose this question can be interpreted in two ways. It is often the case that two or more equivalent (but not necessarily semantically equivalent) definitions of the same idea/object are used in ...
I hope someone can point me to a quick definition of the following terminology. I keep coming across wild and tame in the context of classification problems, often adorned with quotes, leading me to ...
I was wondering if it is possible to make a formal definition of what it means for a functor to be forgetful. That is, using only the terminology of categories. I have seen so many examples of ...
As is well known, the definition of an monoid can be generalised to the notion of a monoid $A$ in a monoidal category $C$ (see the n-lab entry here). What I would like to know is if the notion of ...