• Lean

  • Referenced in 30 articles [sw15148]
  • small trusted kernel based on dependent type theory. It aims to bridge the gap between ... currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe...
  • HoTT

  • Referenced in 13 articles [sw15147]
  • levels, and a significant amount of category theory centered around comma categories and functoriality ... various constructions involving comma categories. A significant amount of work has gone into ensuring that ... both of Coq and of univalent type theory, which allow our library to compile...
  • BIGEBRA

  • Referenced in 19 articles [sw00078]
  • forthcoming times. K-theory, co-homology, entanglement, statistics, representation categories, quantized or twisted structures...
  • Verigraph

  • Referenced in 4 articles [sw23736]
  • approach to GT is based on category theory, allowing the instantiation of theoretical results...
  • RATH-Agda

  • Referenced in 3 articles [sw13303]
  • Theories in Agda. The basic category and allegory theory library of the RATH-Agda project ... only sporadically truly) literate theories ranging from semigroupoids, which are “categories without identities”, to “action ... typed Kleene algebras), including also monoidal categories. These theories are intended as interfaces for high...
  • Globular

  • Referenced in 3 articles [sw18031]
  • verification of proofs in higher-dimensional category theory. The tool produces graphical visualizations of higher...
  • diagrams.sty

  • Referenced in 2 articles [sw30360]
  • drawing so-called “commutative” diagrams in category theory and related subjects. Unlike many other packages...
  • pipes

  • Referenced in 2 articles [sw13660]
  • including dependencies; Elegant semantics: Use practical category theory; ListT: Correct implementation of ListT that interconverts...
  • AxiomaticCategoryTheory

  • Referenced in 1 article [sw32222]
  • Axiom Systems for Category Theory in Free Logic. This document provides a concise overview ... exploration of axioms systems for category theory. Extending the previous studies (http://arxiv.org/abs/1609.01493)...
  • Opycleid

  • Referenced in 1 article [sw31290]
  • developed and extended using elements of category theory. The API for Opycleid was designed ... very general approach to TMT by considering category actions in Rel, i.e. faithful functors from ... small category to the 2-category Rel of finite sets and relations between them ... group usually found in neo-Riemannian theory), allowing the analysis of chords with just...
  • ARTMAP

  • Referenced in 5 articles [sw03013]
  • shrink, 3) limiting a category hypervolume, 4) using Bayes’ decision theory for learning and inference...
  • Sheafhom 2.0

  • Referenced in 1 article [sw00854]
  • provides partial support for items from category theory as first-class objects: vector spaces, morphisms...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • Both arguments draw upon elements from category theory. MiniBrass turns these theoretical considerations into practice...
  • raSAT

  • Referenced in 7 articles [sw15206]
  • solve problems in QF_NRA category, i.e., bounded quantification on conjunction of polynomial inequalities ... combines miniSAT 2.2 and background theories, which are various interval arithmetics. Main features are: raSAT...
  • RoughSets

  • Referenced in 3 articles [sw31808]
  • those theories. The methods included in the package can be divided into several categories based...
  • SOL

  • Referenced in 1 article [sw35247]
  • states and bits, and Stark’s theory of (pi)-calculus. We also demonstrate how this ... methodology can solve the coherence of monoidal categories...
  • UniMath

  • Referenced in 15 articles [sw15140]
  • resulted in the introduction into the type theory of the concept of h-level. This ... efficiently formalize mathematics at the level of categories etc. Univalent style allows to directly formalize...
  • Firestar

  • Referenced in 1 article [sw24660]
  • Testing Simulation Program for Polytomous Item Response Theory Models. Polytomous items are used extensively ... items (two-category items are supported as special cases). The item response theory models supported...
  • CALF

  • Referenced in 2 articles [sw25000]
  • from scratch because there was no abstract theory offering guidelines. This makes it hard ... their correctness proofs. We introduce a simple category-theoretic formalism that provides an appropriately abstract...
  • Copris

  • Referenced in 1 article [sw09755]
  • award-winning solver in global categories of 2008 and 2009 International CSP Solver Competitions ... also use SMT solvers supporting QF_LIA theory (such as Z3) and JSR 331 solvers...