Constructing a small category of setoids

DOI10.1017/S0960129511000478zbMath1261.03176OpenAlexW2099470643MaRDI QIDQ3225739

Olov Wilander

Publication date: 22 March 2012

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129511000478

zbMATH Keywords

first-order logicmodel theorycategory theoryset theorysetoids

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical first-order logic (03B10) Categories of sets, characterizations (18B05) Categories of spans/cospans, relations, or partial maps (18B10) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

From type theory to setoids and back ⋮ Constructions of categories of setoids from proof-irrelevant families ⋮ Category theoretic structure of setoids

Cites Work

• Unnamed Item
• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
• A coherence theorem for Martin-Löf's type theory
• A proof-irrelevant model of Martin-Löf's logical framework
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

This page was built for publication: Constructing a small category of setoids