Questions & Answers

Category Theory For Beginners - 5 [entire topic moved to new forum]

tsakanikasnickos on Saturday, November 07 2015, 12:22 PM
0

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 \( \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 \).

  • There is no reply for this discussion yet
Your Response
Please login first in order for you to submit comments

Questions & Answers | Tags

Mathimatikoi on line

We have 174 guests and no members online

Contact

info(at)mathimatikoi.org
2012-2016 - mathimatikoi.org