Category theoretic structure of setoids (Q2253183)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Category theoretic structure of setoids |
scientific article |
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
