[ 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

View post   
File: 326 KB, 494x552, 1449719251563.png [View same] [iqdb] [saucenao] [google]
8100871 No.8100871 [Reply] [Original]

Suppose I have a categories [math]C, D[/math] and a functor [math]F:C \to D[/math].

Is there a formal construction for the category of objects of [math]C[/math] decorated with the objects of [math]D[/math]?

>> No.8100906

>>8100871
Sci isn't for homework, kiddo.

>> No.8100909

>>8100906
This aint homework, undergrad.

>> No.8100915
File: 50 KB, 522x583, 1433719788464.jpg [View same] [iqdb] [saucenao] [google]
8100915

>>8100909
>asks an undergrad question
>uses "undergrad" as an insult

>> No.8100917

>>8100915
>universal constructions in category theory
>undergrad
It should be a two line answer, answer it if it's so easy. Yeah, didn't think so.

>> No.8100929

>>8100917
If you're already struggling with the definition of "functor", then you shouldn't be in university at all.

>> No.8100937
File: 316 KB, 1002x1300, 33076356-Casual-middle-aged-man-with-hand-near-the-face-with-a-concerned-look-Stock-Photo.jpg [View same] [iqdb] [saucenao] [google]
8100937

>>8100929
>struggling with the definition of "functor"
What gave you that idea?
>you shouldn't be in university at all.
Already finished Masters in mathematics with 1st...

>> No.8100940

>>8100937
Would peoole really go on the Internet and just tell lies? :,(
Most of category theory belongs in undergrad, honestly.

>> No.8100958

>>8100940
You don't seem to even understand the question. If you did you would be able to describe the construction explicitly without using universal constructions. Go for it mate. Again, it's only two lines. Yeah, didn't think so.

You can stop embarrassing yourself now.

>> No.8101018

>>8100917
This was covered in my undergrad.

>> No.8101028

>>8101018
this is figuratively you
>>8098237

>> No.8101036

>>8100871
Holy fuck his eyes

>> No.8101052

What does decorated mean? You cab form the prodict of categories, if that's what you're looking for

>> No.8101060

>>8100871
>decorated
Define your terms. This is math and not arts.

>> No.8101106

>>8100937
>Masters in mathematics with 1st...

You don't get given a classification for a masters, it's either pass or fail. If you did an integrated """""masters"""""" then you got a clarification for your undergrad and then passed your masters.

>> No.8101112

>>8100871
are you just talking about C-diagrams in D?

if that's the case, there is no "construction", its just one way of looking at the basic definition of what a functor is.

>> No.8101118

>>8100917
also, basic universal constructions can and should be taught by 5 if not 4th semester of undergrad. that is like the 30 page intro chapter 0 stuff.

>> No.8101151

>this thread
>this board
I'm out, cya