106:
96:
75:
42:
185:
33:
254:
from the object to itself. This is the case here. For example, in the category of non-empty sets, the objects are sets and the arrows are mappings from a set to another (or to the same) set. This has to not be confused with the category that can be associated to a specific monoid, which has only one
227:
The formal definition of a category implies the existence of an identity arrow for each object. Because semi-groups do not have an identity element, I guess we should not call them "category of semigroups". Shall we not call them "questionable category of semigroups" or something in that spirit?
255:
object and whose arrows are the elements of the monoid. Contrarily to preceding examples the category associated to a monoid has only one identity element, while the category of sets (or of monoids) has many identity arrows (one for each set or monoid).
162:
325:
330:
315:
46:
320:
198:
340:
152:
335:
310:
128:
282:
235:
305:
119:
80:
275:
The figure seems to show an object {0} that is terminal, but not initial (no arrows from {0} to any of the other elements of A).
55:
207:
286:
239:
32:
250:
In the case of categories whose objects are sets or which have an underlying set, the identity arrow is the
61:
105:
278:
231:
127:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
260:
213:
111:
95:
74:
251:
209:
184:
290:
264:
243:
223:
Shall we not avoid to talk about "Category of semi-groups" or "Category of non-empty Sets"
211:
299:
256:
17:
124:
101:
214:
178:
26:
123:, a collaborative effort to improve the coverage of
326:Knowledge level-5 vital articles in Mathematics
8:
30:
276:
229:
69:
331:Start-Class vital articles in Mathematics
316:Knowledge vital articles in Mathematics
71:
7:
117:This article is within the scope of
60:It is of interest to the following
321:Start-Class level-5 vital articles
25:
341:Mid-priority mathematics articles
137:Knowledge:WikiProject Mathematics
336:Start-Class mathematics articles
311:Knowledge level-5 vital articles
183:
140:Template:WikiProject Mathematics
104:
94:
73:
40:
31:
157:This article has been rated as
1:
291:22:25, 18 February 2018 (UTC)
131:and see a list of open tasks.
265:16:28, 24 October 2016 (UTC)
244:14:12, 24 October 2016 (UTC)
357:
306:Start-Class vital articles
156:
89:
68:
163:project's priority scale
120:WikiProject Mathematics
47:level-5 vital article
143:mathematics articles
18:Talk:Initial object
112:Mathematics portal
56:content assessment
293:
281:comment added by
246:
234:comment added by
220:
219:
177:
176:
173:
172:
169:
168:
16:(Redirected from
348:
271:Figure is wrong?
252:identity mapping
215:
187:
179:
145:
144:
141:
138:
135:
114:
109:
108:
98:
91:
90:
85:
77:
70:
53:
44:
43:
36:
35:
27:
21:
356:
355:
351:
350:
349:
347:
346:
345:
296:
295:
273:
225:
216:
210:
192:
142:
139:
136:
133:
132:
110:
103:
83:
54:on Knowledge's
51:
41:
23:
22:
15:
12:
11:
5:
354:
352:
344:
343:
338:
333:
328:
323:
318:
313:
308:
298:
297:
283:98.207.232.114
272:
269:
268:
267:
236:178.197.234.69
224:
221:
218:
217:
212:
208:
206:
203:
202:
194:
193:
188:
182:
175:
174:
171:
170:
167:
166:
155:
149:
148:
146:
129:the discussion
116:
115:
99:
87:
86:
78:
66:
65:
59:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
353:
342:
339:
337:
334:
332:
329:
327:
324:
322:
319:
317:
314:
312:
309:
307:
304:
303:
301:
294:
292:
288:
284:
280:
270:
266:
262:
258:
253:
249:
248:
247:
245:
241:
237:
233:
222:
205:
204:
201:
200:
196:
195:
191:
186:
181:
180:
164:
160:
154:
151:
150:
147:
130:
126:
122:
121:
113:
107:
102:
100:
97:
93:
92:
88:
82:
79:
76:
72:
67:
63:
57:
49:
48:
38:
34:
29:
28:
19:
277:— Preceding
274:
230:— Preceding
226:
197:
189:
159:Mid-priority
158:
118:
84:Mid‑priority
62:WikiProjects
45:
134:Mathematics
125:mathematics
81:Mathematics
52:Start-class
300:Categories
50:is rated
279:unsigned
257:D.Lazard
232:unsigned
190:Archives
161:on the
58:scale.
39:This
287:talk
261:talk
240:talk
153:Mid
302::
289:)
263:)
242:)
285:(
259:(
238:(
199:1
165:.
64::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.