 krasimir
|
f7a740d1bd
|
fix the definition of functor composition in category theory
|
2011-01-08 20:43:45 +00:00 |
|
|
krasimir
|
b2a0adf969
|
added equality proof in the constructor for natural trasformations
|
2010-06-14 11:21:52 +00:00 |
|
|
krasimir
|
7d71704b3c
|
fix typo in category theory
|
2010-06-07 12:56:05 +00:00 |
|
|
krasimir
|
d73ed8ba2e
|
some comments in the code for category theory
|
2010-06-01 06:56:34 +00:00 |
|
|
krasimir
|
5e0d04d0f5
|
El -> Obj in category theory
|
2010-06-01 06:12:30 +00:00 |
|
|
krasimir
|
19851031e6
|
cleanup the code for category theory
|
2010-06-01 06:03:19 +00:00 |
|
|
krasimir
|
d91999dec0
|
incomplete code for adjoints and monads
|
2010-03-15 17:31:15 +00:00 |
|
|
krasimir
|
381a7a2f07
|
identity functor
|
2010-03-15 16:35:00 +00:00 |
|
|
krasimir
|
c6f3111e67
|
added natural transformations
|
2010-03-15 14:52:47 +00:00 |
|
|
krasimir
|
aef1a1a5a3
|
incomplete code for composition of functors
|
2010-03-15 10:47:00 +00:00 |
|
|
krasimir
|
9f45bb0df1
|
refactor Morphisms.gf and InitialAndTerminal.gf
|
2010-03-15 10:43:20 +00:00 |
|
|
krasimir
|
d7c68cdf27
|
two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms
|
2010-03-15 10:41:39 +00:00 |
|
|
krasimir
|
dfbc6ba9a3
|
added Equalizers in category-theory
|
2010-03-15 09:57:39 +00:00 |
|
|
krasimir
|
21ad608e2a
|
functors
|
2010-02-22 14:40:28 +00:00 |
|
|
krasimir
|
bcf4bc7d23
|
the oposites of two equal arrows are equal arrows
|
2010-02-22 14:38:13 +00:00 |
|
|
krasimir
|
45d209baf8
|
two theorems every iso is mono and every iso is epi
|
2010-02-20 16:37:23 +00:00 |
|
|
krasimir
|
3d8b7f9850
|
some more definitions in category theory
|
2010-02-20 16:33:40 +00:00 |
|
|
krasimir
|
61287f3925
|
more category theory -> morphisms, initial and terminal objects
|
2010-02-15 10:35:24 +00:00 |
|
|
krasimir
|
af48998ef6
|
basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon
|
2010-02-14 10:20:08 +00:00 |
|