3 search results for "tag:"keyword: functors""

keyword: set theory keyword: ordinal numbers keyword: cardinal numbers keyword: category theory keyword: functors keyword: natural transformation keyword: limit keyword: colimit category: Mathematics/Logic/Set theory category: Mathematics/Category Theory date: 2004-10-10

keyword: modules keyword: functors keyword: search trees category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures date: 2003-02-6

keyword: finite sets keyword: sorted lists keyword: balanced trees keyword: red-black trees keyword: AVL keyword: functors keyword: data structures category: Computer Science/Data Types and Data Structures category: Miscellaneous/Extracted Programs/Data structures