"The category of all functors from a grouppoid to a grouppoid is again a grouppoid."
Я не понимаю: если взять группоид F с двумя объектами и одним изоморфизмом между ними, и группоид G с одним объектом и единственным единичным морфизмом, то ведь у естественного функтора F->G не будет обратного?
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2008-12-14 03:35 am (UTC)Я не понимаю: если взять группоид F с двумя объектами и одним изоморфизмом между ними, и группоид G с одним объектом и единственным единичным морфизмом, то ведь у естественного функтора F->G не будет обратного?