[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.15039872 [View]
File: 293 KB, 650x950, __kaenbyou_rin_touhou_drawn_by_loftyanchor__41f8232e68b3eb6b641d9db59a2ab32b.jpg [View same] [iqdb] [saucenao] [google]
15039872

>>15039831
>Then hom(FA,FB)=hom(FC,FD)
You can't do that without some sort of surjectivity hypothesis on morphisms for the functor.

Honestly your proof for the converse is weird from the outset. Just do a generic contradiction proof.

The first part is fine tho.

Navigation
View posts[+24][+48][+96]