Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
mrtkp9993 committed May 10, 2018
1 parent 7d78872 commit 8ba04dd
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -200,17 +200,17 @@ Prelude> take 5 lst0
Bir ![](./src/c.png) kategorisi üç şeyden oluşur:

- Nesnelerin bir kümesi,
- Her bir nesne çifti için, morfizmlerin bir kümesi,
- Birbiriyle uyumlu morfizm çiftleri arasında tanımlı bir ikili işlem.
- Her bir nesne çifti için, morfizmaların bir kümesi,
- Birbiriyle uyumlu morfizma çiftleri arasında tanımlı bir ikili işlem.

ve aşağıdaki iki beliti sağlar:

- ![](./src/ABCD.png) nesneler ve ![](./src/fgh.png) morfizmler olmak üzere, ![](./src/fAB.png), ![](./src/gBC.png) ve ![](./src/hCD.png) ise ![](./src/cat_ax_1.png) dir,
- Her ![](./src/x.png) nesnesi ve her ![](./src/fax.png) ve ![](./src/gxb.png) için, ![](./src/1xff.png) ve ![](./src/g1xg.png) koşullarını sağlayan bir ![](./src/1xxx.png) morfizmi vardır.
- ![](./src/ABCD.png) nesneler ve ![](./src/fgh.png) morfizmalar olmak üzere, ![](./src/fAB.png), ![](./src/gBC.png) ve ![](./src/hCD.png) ise ![](./src/cat_ax_1.png) dir,
- Her ![](./src/x.png) nesnesi ve her ![](./src/fax.png) ve ![](./src/gxb.png) için, ![](./src/1xff.png) ve ![](./src/g1xg.png) koşullarını sağlayan bir ![](./src/1xxx.png) morfizması vardır.

Aşağıdaki tabloda bir kaç kategori örneği verilmiştir.

| Kategori | Nesneler | Morfizmler |
| Kategori | Nesneler | Morfizmalar |
|------------------|--------------------|----------------|
| Set | Kümeler | Fonksiyonlar |
| Grp | Gruplar | Grup homomorfizmaları |
Expand All @@ -221,7 +221,7 @@ Aşağıdaki tabloda bir kaç kategori örneği verilmiştir.

**Hask**, Haskell tiplerinin ve fonksiyonlarının bir kategorisidir.

**Hask** kategorisinin nesneleri Haskell'deki _tipler_, ```A``` nesnesinden ```B``` nesnesine tanımlı morfizmler ise ```A -> B``` şeklindeki fonksiyonlardır.
**Hask** kategorisinin nesneleri Haskell'deki _tipler_, ```A``` nesnesinden ```B``` nesnesine tanımlı morfizmalar ise ```A -> B``` şeklindeki fonksiyonlardır.


__Daha Fazla Kaynak__
Expand Down

0 comments on commit 8ba04dd

Please sign in to comment.