https://github.com/bcherny/ct4s

Category Theory for the Sciences
https://github.com/bcherny/ct4s

Last synced: 24 days ago
JSON representation

Category Theory for the Sciences

• Host: GitHub
• URL: https://github.com/bcherny/ct4s
• Owner: bcherny
• Created: 2017-02-28T07:13:30.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2017-03-01T18:55:37.000Z (over 8 years ago)
• Last Synced: 2025-02-21T10:17:45.840Z (8 months ago)
• Size: 3.52 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
| Symbol    | Definition          |

|-----------|---------------------|

| ℕ         | The set of natural numbers |

| ℤ         | The set of integers |

| ∅         | The empty set |

| ∈         | Is an element of |

| ∋         | Such that |

| ∀         | For all             |

| ∃         | There exists        |

| ∃!        | There exists a unique |

| ⊆         | Subset of |

| i:X'⊆X    | i is the function that maps elements of X' to elements of its superset X |

| im(f)     | In the image of: Given f: X->Y, im(f) is the set of all Ys that can be given by f |

| g∘f       | Function f composed with function g |

| HomSet(X, Y) | The set of functions that map X -> Y |

| ⥲         | Isomorphs |

| ≅         | Is an isomorphism of |

### Definitions

| Word       | Definition |

|------------|------------|

| Isomorphic | A -> B and B -> A |

| Commutative set | There exist multiple ways to map from A to B |