81:
71:
53:
22:
175:
My feeling was only that the natural transformation should be specified as given, because the functors have to be naturally isomorphic in that way. Isn't that right? If not, then your edits are how the page should be. If so, maybe something like '... naturally isomorphic to
163:; which is why I rewrote it that way. I think the way it is written now obscures this fact, and makes the notion seem more complicated that it really is. The fact that every functor can be represented by a pair (
133:
349:
127:
103:
344:
321:
94:
58:
33:
325:
39:
301:
both have the same idea about how this article should go. I'm happy to let you make the changes above.
155:
I think it is much clearer to say that a functor is representable if it is naturally isomorphic to Hom(
80:
317:
289:. I think I finally understand that lemma. Perhaps something like that should go in the article too.
314:"represented by (FX, ηX(•)) where X = {•} is a singleton set" is unnecessarily confusing notation.
21:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
86:
70:
52:
286:
195:
Every natural isomorphism will necessarily be of the stated form. To see this let Φ : Hom(
302:
278:
188:
338:
290:
270:
168:
329:
99:
285:
Ha. You are right of course. The argument I gave above is just one version of
76:
187:
If it was like that already, I apologize. I can't remember. --
15:
98:, a collaborative effort to improve the coverage of
297:Yes, I guess they are pretty intertwined. I think
132:This article has not yet received a rating on the
255:around the commutative square induced by Hom(
8:
47:
184:. This natural isomorphism should be...'
203:be any natural isomorphism. Define φ ∈
49:
19:
350:Unknown-priority mathematics articles
7:
167:,φ) is important, but secondary. --
92:This article is within the scope of
38:It is of interest to the following
277:OK. Reminds me of Yoneda's lemma.
14:
112:Knowledge:WikiProject Mathematics
115:Template:WikiProject Mathematics
79:
69:
51:
20:
1:
330:15:19, 28 November 2008 (UTC)
106:and see a list of open tasks.
345:B-Class mathematics articles
366:
293:00:21, 2004 Jul 30 (UTC)
273:23:04, 2004 Jul 28 (UTC)
223:). Then for any morphism
171:14:59, 2004 Jul 28 (UTC)
131:
64:
46:
305:10:50, 30 Jul 2004 (UTC)
281:08:00, 29 Jul 2004 (UTC)
191:21:17, 28 Jul 2004 (UTC)
134:project's priority scale
95:WikiProject Mathematics
28:This article is rated
249:)(φ) by following id
118:mathematics articles
235:one can show that Φ
310:Confusing Notation
87:Mathematics portal
34:content assessment
320:comment added by
148:
147:
144:
143:
140:
139:
357:
332:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
365:
364:
360:
359:
358:
356:
355:
354:
335:
334:
315:
312:
268:
254:
240:
222:
216:
153:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
363:
361:
353:
352:
347:
337:
336:
311:
308:
307:
306:
287:Yoneda's lemma
283:
282:
264:
250:
236:
218:
212:
193:
192:
185:
152:
149:
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
362:
351:
348:
346:
343:
342:
340:
333:
331:
327:
323:
322:131.111.28.92
319:
309:
304:
300:
296:
295:
294:
292:
288:
280:
276:
275:
274:
272:
267:
262:
258:
253:
248:
244:
239:
234:
230:
226:
221:
215:
210:
206:
202:
198:
190:
186:
183:
180:,-) for some
179:
174:
173:
172:
170:
166:
162:
159:,-) for some
158:
150:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
313:
298:
284:
265:
260:
256:
251:
246:
242:
237:
232:
228:
224:
219:
213:
208:
204:
200:
196:
194:
181:
177:
164:
160:
156:
154:
93:
40:WikiProjects
316:—Preceding
109:Mathematics
100:mathematics
59:Mathematics
339:Categories
211:) by φ = Φ
151:Definition
318:unsigned
291:Fropuff
271:Fropuff
263:) and Φ
169:Fropuff
30:B-class
199:,-) →
36:scale.
303:mat_x
279:mat_x
269:. --
245:) = (
189:mat_x
326:talk
176:Hom(
217:(id
128:???
341::
328:)
299:we
247:Fu
231:→
227::
324:(
266:A
261:u
259:,
257:A
252:A
243:u
241:(
238:X
233:X
229:A
225:u
220:A
214:A
209:A
207:(
205:F
201:F
197:A
182:A
178:A
165:A
161:A
157:A
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.