512:
36:
then one recovers the theory of small categories. In general, internal categories consist of a pair of objects in the ambient category—thought of as the 'object of objects' and 'object of morphisms'—together with a collection of morphisms in the ambient category satisfying certain identities.
343:
191:
166:
553:
186:
126:
106:
82:
546:
476:
444:
415:
390:
460:
577:
539:
338:{\displaystyle d_{0},d_{1}:C_{1}\rightarrow C_{0},e:C_{0}\rightarrow C_{1},m:C_{1}\times _{C_{0}}C_{1}\rightarrow C_{1}}
85:
572:
49:
29:
131:
472:
440:
411:
386:
378:
354:
33:
519:
21:
523:
433:
171:
111:
91:
67:
25:
566:
374:
38:
511:
490:
465:
345:
subject to coherence conditions expressing the axioms of category theory. See .
17:
53:
52:
that make the collection of internal categories in a fixed category into a
168:
named "object of objects" and "object of morphisms" respectively and four
383:
Sheaves in geometry and logic : a first introduction to topos theory
45:
494:
385:(2nd corr. print., 1994. ed.). New York: Springer-Verlag.
24:, internal categories are a generalisation of the notion of
527:
194:
174:
134:
114:
94:
70:
464:
432:
337:
180:
160:
120:
100:
76:
41:, are common examples of internal categories.
547:
32:. If the ambient category is taken to be the
8:
554:
540:
28:, and are defined with respect to a fixed
439:. Cambridge: Cambridge University Press.
329:
316:
304:
299:
289:
270:
257:
238:
225:
212:
199:
193:
173:
152:
139:
133:
113:
93:
69:
408:Categories for the working mathematician
366:
7:
508:
506:
108:consists of the following data: two
410:(2. ed.). New York: Springer.
14:
510:
435:Handbook of categorical algebra
322:
263:
231:
44:There are notions of internal
1:
526:. You can help Knowledge by
406:Mac Lane, Saunders (1998).
161:{\displaystyle C_{0},C_{1}}
594:
505:
471:. London: Academic Press.
88:. An internal category in
431:Borceux, Francis (1994).
50:natural transformations
20:, more specifically in
522:-related article is a
339:
182:
162:
122:
102:
78:
578:Category theory stubs
340:
183:
163:
123:
103:
79:
192:
172:
132:
112:
92:
68:
461:Johnstone, Peter T.
84:be a category with
379:Mac Lane, Saunders
335:
178:
158:
118:
98:
74:
535:
534:
491:Internal category
355:Enriched category
181:{\displaystyle C}
121:{\displaystyle C}
101:{\displaystyle C}
77:{\displaystyle C}
585:
556:
549:
542:
514:
507:
483:
482:
470:
457:
451:
450:
438:
428:
422:
421:
403:
397:
396:
371:
344:
342:
341:
336:
334:
333:
321:
320:
311:
310:
309:
308:
294:
293:
275:
274:
262:
261:
243:
242:
230:
229:
217:
216:
204:
203:
187:
185:
184:
179:
167:
165:
164:
159:
157:
156:
144:
143:
127:
125:
124:
119:
107:
105:
104:
99:
83:
81:
80:
75:
34:category of sets
30:ambient category
593:
592:
588:
587:
586:
584:
583:
582:
573:Category theory
563:
562:
561:
560:
520:category theory
503:
487:
486:
479:
459:
458:
454:
447:
430:
429:
425:
418:
405:
404:
400:
393:
373:
372:
368:
363:
351:
325:
312:
300:
295:
285:
266:
253:
234:
221:
208:
195:
190:
189:
170:
169:
148:
135:
130:
129:
110:
109:
90:
89:
66:
65:
62:
22:category theory
12:
11:
5:
591:
589:
581:
580:
575:
565:
564:
559:
558:
551:
544:
536:
533:
532:
515:
501:
500:
485:
484:
477:
452:
445:
423:
416:
398:
391:
375:Moerdijk, Ieke
365:
364:
362:
359:
358:
357:
350:
347:
332:
328:
324:
319:
315:
307:
303:
298:
292:
288:
284:
281:
278:
273:
269:
265:
260:
256:
252:
249:
246:
241:
237:
233:
228:
224:
220:
215:
211:
207:
202:
198:
177:
155:
151:
147:
142:
138:
117:
97:
73:
61:
58:
26:small category
13:
10:
9:
6:
4:
3:
2:
590:
579:
576:
574:
571:
570:
568:
557:
552:
550:
545:
543:
538:
537:
531:
529:
525:
521:
516:
513:
509:
504:
499:
497:
492:
489:
488:
480:
478:0-12-387850-0
474:
469:
468:
462:
456:
453:
448:
446:0-521-44178-1
442:
437:
436:
427:
424:
419:
417:0-387-98403-8
413:
409:
402:
399:
394:
392:0-387-97710-4
388:
384:
380:
376:
370:
367:
360:
356:
353:
352:
348:
346:
330:
326:
317:
313:
305:
301:
296:
290:
286:
282:
279:
276:
271:
267:
258:
254:
250:
247:
244:
239:
235:
226:
222:
218:
213:
209:
205:
200:
196:
175:
153:
149:
145:
140:
136:
115:
95:
87:
71:
59:
57:
55:
51:
47:
42:
40:
39:Group objects
35:
31:
27:
23:
19:
528:expanding it
517:
502:
495:
467:Topos theory
466:
455:
434:
426:
407:
401:
382:
369:
63:
43:
15:
60:Definitions
18:mathematics
567:Categories
361:References
54:2-category
323:→
297:×
264:→
232:→
128:-objects
86:pullbacks
463:(1977).
381:(1992).
349:See also
188:-arrows
46:functors
493:at the
475:
443:
414:
389:
518:This
524:stub
473:ISBN
441:ISBN
412:ISBN
387:ISBN
64:Let
48:and
498:Lab
16:In
569::
377:;
56:.
555:e
548:t
541:v
530:.
496:n
481:.
449:.
420:.
395:.
331:1
327:C
318:1
314:C
306:0
302:C
291:1
287:C
283::
280:m
277:,
272:1
268:C
259:0
255:C
251::
248:e
245:,
240:0
236:C
227:1
223:C
219::
214:1
210:d
206:,
201:0
197:d
176:C
154:1
150:C
146:,
141:0
137:C
116:C
96:C
72:C
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
