Welcome to mathimatikoi.org forum; Enjoy your visit here.

Elementary Category Theory - 1

Categories
Post Reply
Tsakanikas Nickos
Community Team
Community Team
Articles: 0
Posts: 314
Joined: Tue Nov 10, 2015 8:25 pm

Elementary Category Theory - 1

#1

Post by Tsakanikas Nickos » Fri Nov 13, 2015 12:39 am

Let \( \mathcal{F} : \mathcal{C} \longrightarrow \mathcal{D} \) be a functor between the categories \( \mathcal{C} \) and \( \mathcal{D} \). Show that \( \mathcal{F} \) is an equivalence if and only if \( \mathcal{F} \) induces bijections on the morphism sets and, additionally, for every object \( \displaystyle D \) in \( \mathcal{D} \) there is an object \( \displaystyle C \) in \( \mathcal{C} \) such that \( \displaystyle \mathcal{F} \left( C \right) \cong D \).
Post Reply