This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-04-21 10:49:33 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
27ff25e82d058447928315d060ce83afa89f2659
gf-core
/
examples
/
category-theory
History
krasimir
dc0a84951f
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
..
Adjoints.gf
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
Categories.gf
…
CategoryTheory.gf
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
Equalizer.gf
…
Functor.gf
identity functor
2010-03-15 16:35:00 +00:00
InitialAndTerminal.gf
refactor Morphisms.gf and InitialAndTerminal.gf
2010-03-15 10:43:20 +00:00
Monad.gf
incomplete code for adjoints and monads
2010-03-15 17:31:15 +00:00
Morphisms.gf
refactor Morphisms.gf and InitialAndTerminal.gf
2010-03-15 10:43:20 +00:00
NaturalTransform.gf
added natural transformations
2010-03-15 14:52:47 +00:00
