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 ...
The wikipedia article(s) as well as the nlab article(s) about Grothendieck topologies and Grothendieck pretopologies are careful to differentiate the two very emphatically and to point out that ...
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 ...
Hello everyone! First time poster, long time lurker here. I have a really basic question that has been bugging me for sometime. Specifically, I'm not exactly sure what the 'correct' category ...