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

Showing 1 - 3
  1. coq-cats-in-zfc

    No documentation

    Category theory in ZFC
    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
    Carlos Simpson <carlos@math.unice.fr> [http://math.unice.fr/~carlos/]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-dictionaries

    No documentation

    Dictionaries (with modules)
    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
    Pierre Castéran <casteran@labri.fr>
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-fsets

    No documentation

    Finite Sets overs Ordered Types
    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
    Pierre Letouzey Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019