Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness

Fabio Pasquali

doi:10.1007/s10485-014-9388-1

Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness

Fabio Pasquali

extern

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).

Original language	English
Pages (from-to)	105-119
Number of pages	15
Journal	Applied Categorical Structures
Volume	24
Issue number	2
DOIs	https://doi.org/10.1007/s10485-014-9388-1
Publication status	Published - 2016
Externally published	Yes

Keywords

Tripos theory
Categorical logic

Access to Document

10.1007/s10485-014-9388-1

Cite this

@article{2ce7ceca8e1b41e5b5cb50a1dfdbcc67,

title = "Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness",

abstract = "We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).",

keywords = "Tripos theory, Categorical logic",

author = "Fabio Pasquali",

year = "2016",

doi = "10.1007/s10485-014-9388-1",

language = "English",

volume = "24",

pages = "105--119",

journal = "Applied Categorical Structures",

issn = "0927-2852",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness

AU - Pasquali, Fabio

PY - 2016

Y1 - 2016

N2 - We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).

AB - We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).

KW - Tripos theory

KW - Categorical logic

U2 - 10.1007/s10485-014-9388-1

DO - 10.1007/s10485-014-9388-1

M3 - Article

SN - 0927-2852

VL - 24

SP - 105

EP - 119

JO - Applied Categorical Structures

JF - Applied Categorical Structures

IS - 2

ER -

Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness

Abstract

Keywords

Access to Document

Fingerprint

Cite this