Category theoretic structure of setoids (Q2253183)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6320759
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Category theoretic structure of setoids |
scientific article; zbMATH DE number 6320759 |
Statements
Category theoretic structure of setoids (English)
0 references
25 July 2014
0 references
setoid
0 references
proof assistant
0 references
proof irrelevance
0 references
Cartesian closed category
0 references
coproduct
0 references
Equiv-category
0 references
Equiv-inserter
0 references
\(\mathcal E\)-category
0 references
\(\mathcal E\)-coinserter
0 references
0.8322712182998657
0 references
0.8073092103004456
0 references
0.7827736139297485
0 references
0.7740366458892822
0 references
0.7668235301971436
0 references
