Одне - внутрішнє, а друге - зовнішнє .
Категорія складається з предметів і морфізмів. Коли ми пишемо F : A → B ми маємо в виду , що F є морфізм з об'єкта А для об'єкта B . Ми можемо зібрати всі морфізми від А до В у сукупність морфізмів H o m C ( A , B ) , що називаються "домашнім набором". Цей набір не є об'єктом C , а скоріше об'єктом категорії множин.Сf: A → BfАБАБ HomC(A,B)C
На противагу цьому , експоненціальне є об'єктом C . Саме так " C думає про свої домашні набори". Таким чином, В повинні бути оснащені будь-якою структурою об'єктів C є.BACCBAC
Як приклад, розглянемо категорію топологічних просторів. Тоді - суцільна карта від X до Y , а H o m T o p ( X , Y ) - безліч усіх таких безперервних карт. Але Y X , якщо він існує, - це топологічний простір! Ви можете довести , що точки Y X є (у взаємно однозначним дотриманням) неперервних відображень з X в Y . Насправді це справедливо в цілому: морфізми 1 → B Af:X→YXYHomTop(X,Y)YXYXXY1→BA(які є "глобальними точками ") знаходяться в біектичній відповідності з морфізмами A → B , тому що
H o m ( 1 , B A ) ≅ H o m ( 1 × A , B ) ≅ H o m ( A , Б ) .BAA→B
Hom(1,BA)≅Hom(1×A,B)≅Hom(A,B).
Іноді ми отримуємо неакуратно про написання на відміну від A → B . Насправді, часто ці два є синонімами, з розумінням, що f : A → B може означати «о, до речі, тут я мав на увазі інше позначення, тож це означає, що f - морфізм від А до В ». Наприклад, коли ви записували каррі з морфізмом
каррі : ( A × B → C ) → ( A → C B ),
ви справді повинні були написати
каррі :BAA→Bf:A→BfAB
curry:(A×B→C)→(A→CB)
Тож ми насправді не можемо звинуватити нікого в заплутанні тут. Внутрішній
→ використовується у внутрішньому значенні, а зовнішній у зовнішньому.
curry:CA×B→(CB)A.
→
λtBt:BBB
curry:(A×B→C)→(A→CB)
λcurry:((CB)A)CA×B.
BAA→B