user avatar
user avatar
user avatar
user54748
  • Member for 7 years, 8 months
  • Last seen this week
62 votes

What's your favorite proof accessible to a general audience?

21 votes
Accepted

$F$ is an equivalence of categories implies that $F$ is fully faithful and essentially surjective

11 votes

Why is the cartesian product so categorically robust?

11 votes
Accepted

Intuition on the Representable Functor

10 votes
Accepted

Why are adjoints usually defined in terms of hom-sets?

9 votes
Accepted

Why is the forgetful functor representable?

7 votes

Must 2 Tensor Product Functors be Naturally Isomorphic?

7 votes
Accepted

What does 'coherent isomorphism' mean in the sense of pseudofunctors?

7 votes
Accepted

Exact functors preserve free modules?

6 votes

On the importance of natural transformations

6 votes
Accepted

Adjoint squares

6 votes
Accepted

Different interpretations of a monoid as a category

5 votes
Accepted

Is the category of (co)cones a slice category?

5 votes
Accepted

Faithful functors from Rel, the category of sets and relations?

5 votes
Accepted

Intuition behind universal arrow construction of adjoint functors

5 votes
Accepted

Categories like $\mathsf{FinSet}$, but with elements of $\mathbb{Z}$ or $\mathbb{Q}$ as objects?

5 votes
Accepted

Monads and Monoids-as-categories

4 votes
Accepted

A question regarding monoidal closed categories

4 votes
Accepted

Confusion regarding definition of adjoint functor - Hilton and Stammbach

4 votes
Accepted

Monad as not trivial adjunctions

4 votes
Accepted

Limits in a functor category do what precisely to morphisms?

4 votes
Accepted

Exhibit a chain of adjoints passing through the diagonal

4 votes
Accepted

How is the free group on $S$ generators a cogroup?

4 votes
Accepted

sequence of colimit diagrams

4 votes
Accepted

Triple Products are Isomorphic

4 votes
Accepted

Universal Property: do people study terminal objects in $(X\downarrow U)$?

4 votes
Accepted

N-Tuples or N-functions in category theory

3 votes
Accepted

Are there any theorems about functors that reflect exactness?

3 votes

What is the significance of using "$a$" vs "$x$" in this text?

3 votes
Accepted

Reflective subcategory of a complete category