How do universal constructions determine a representation of a set-value functor? I assume that if the universal construction is an object A, then the functor is Hom(A,-) or Hom(-,A), is that right? What in case the universal is an arrow? Any why is it true anyway?

File: 153 KB, 452x226, REKT.gif [View same] [iqdb] [saucenao] [google]

Anonymous Fri Jun 6 08:15:33 2014 No.6575603 [DELETED]

How do universal constructions determine a representation of a set-value functor?
I assume that if the universal construction is an object A, then the functor is Hom(A,-) or Hom(-,A), is that right?
What in case the universal is an arrow?
Any why is it true anyway?

>>	Anonymous Fri Jun 6 10:19:01 2014 No.6575676 File: 13 KB, 384x329, REKT2.gif [View same] [iqdb] [saucenao] [google]

>>	Anonymous Fri Jun 6 13:41:22 2014 No.6575938 >>6575603 >What in case the universal is an arrow? http://drexel28.wordpress.com/2012/01/12/universal-arrows-and-universal-elements-pt-i/

>>	Anonymous Fri Jun 6 13:54:02 2014 No.6575960 >>6575938 thanks for the link. the elaboration on universal arrows is well written, though I don't know if I understand the connection to Hom-functor representations.

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]

/sci/ - Science & Math