
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. Ktheory, cohomology, 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...

RATHAgda
 Referenced in 3 articles
[sw13303]
 Theories in Agda. The basic category and allegory theory library of the RATHAgda 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 higherdimensional category theory. The tool produces graphical visualizations of higher...

diagrams.sty
 Referenced in 2 articles
[sw30360]
 drawing socalled “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 2category Rel of finite sets and relations between them ... group usually found in neoRiemannian 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 firstclass 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 hlevel. 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 (twocategory 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 categorytheoretic formalism that provides an appropriately abstract...

Copris
 Referenced in 1 article
[sw09755]
 awardwinning 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...