summaryrefslogtreecommitdiff
path: root/examples/category-theory
AgeCommit message (Collapse)Author
2013-09-16Remove contribs and examplesjohn.j.camilleri
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
2011-01-08fix the definition of functor composition in category theorykrasimir
2010-06-14added equality proof in the constructor for natural trasformationskrasimir
2010-06-07fix typo in category theorykrasimir
2010-06-01some comments in the code for category theorykrasimir
2010-06-01El -> Obj in category theorykrasimir
2010-06-01cleanup the code for category theorykrasimir
2010-03-15incomplete code for adjoints and monads krasimir
2010-03-15identity functorkrasimir
2010-03-15added natural transformationskrasimir
2010-03-15incomplete code for composition of functorskrasimir
2010-03-15refactor Morphisms.gf and InitialAndTerminal.gfkrasimir
2010-03-15two theorems without proofs: every equalizer is monomorphism; every ↵krasimir
coequalizer is epimorphisms
2010-03-15added Equalizers in category-theorykrasimir
2010-02-22functorskrasimir
2010-02-22the oposites of two equal arrows are equal arrowskrasimir
2010-02-20two theorems every iso is mono and every iso is epikrasimir
2010-02-20some more definitions in category theorykrasimir
2010-02-15more category theory -> morphisms, initial and terminal objectskrasimir
2010-02-14basic category theory expressed in GF. Note: works only with my development ↵krasimir
version of GF. It will be pushed in darcs soon
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 11:46:19 +0000