representable functor (Q1242): Difference between revisions

@@ Property / Freebase ID @@
+/m/03gdg3
@@ Property / Freebase ID: /m/03gdg3 / rank @@
+Normal rank
@@ Property / Freebase ID: /m/03gdg3 / reference @@
+stated in: Freebase Data Dumps
publication date: 28 October 2013Timestamp +2013-10-28T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-10-28T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / defining formula @@
+ $F\simeq \hom(X,-)$ 
F\simeq\hom(X,-)
@@ Property / defining formula: $F\simeq \hom(X,-)$ / rank @@
+Normal rank
@@ Property / subclass of @@
+functor
@@ Property / subclass of: functor / rank @@
+Normal rank
@@ Property / studied in @@
+category theory
@@ Property / studied in: category theory / rank @@
+Normal rank
@@ Property / Microsoft Academic ID @@
+2780295294
@@ Property / Microsoft Academic ID: 2780295294 / rank @@
+Normal rank
@@ Property / nLab ID @@
+representable functor
@@ Property / nLab ID: representable functor / rank @@
+Normal rank
@@ Property / in defining formula @@
+ $F$ 
F
@@ Property / in defining formula: $F$ / rank @@
+Normal rank
@@ Property / in defining formula: $F$ / qualifier @@
+symbol represents: representable functor
@@ Property / in defining formula @@
+ $\simeq$ 
\simeq
@@ Property / in defining formula: $\simeq$ / rank @@
+Normal rank
@@ Property / in defining formula: $\simeq$ / qualifier @@
+symbol represents: natural isomorphism
@@ Property / in defining formula @@
+ $\hom$ 
\hom
@@ Property / in defining formula: $\hom$ / rank @@
+Normal rank
@@ Property / in defining formula: $\hom$ / qualifier @@
+symbol represents: Hom functor