4 search results for "tag:"keyword: category""

Showing 1 - 4
  1. coq-category-theory

    No documentation

    An axiom-free formalization of category theory in Coq
    keyword: category theory category: Mathematics/Category Theory date: 2022-07-22 logpath: Category
    John Wiegley
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    22 Jul 2022
  2. 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
  3. coq-concat

    No documentation

    Constructive Category Theory
    keyword: category theory category: Mathematics/Category Theory
    Amokrane Saïbi
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-lc

    No documentation

    Modules over monads and lambda-calculi
    keyword: modules keyword: monads keyword: category keyword: lambda calculus keyword: higher-order syntax category: Computer Science/Lambda Calculi date: 2006-01-12 date: 2008-09-9
    André Hirschowitz <ah@math.unice.fr> [http://math.unice.fr/~ah/] Marco Maggesi <maggesi@math.unifi.it> [http://www.math.unifi.it/~maggesi/]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019