Left and right adjoint operations on spaces and data types (Q1434353): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.tcs.2004.01.026 / rank | |||
Property / cites work | |||
Property / cites work: Seven trees in one / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two models of synthetic domain theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compact Sets of Functions and Function Rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the generic solution to \(P(X)\cong X\) in distributive categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4360299 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5622402 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4237282 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997818 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Banach-Mazur functionals in the topos of recursive sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3978988 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.TCS.2004.01.026 / rank | |||
Normal rank |
Latest revision as of 20:25, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Left and right adjoint operations on spaces and data types |
scientific article |
Statements
Left and right adjoint operations on spaces and data types (English)
0 references
4 August 2004
0 references
exponentiation
0 references
data type tiny object
0 references
central idempotent
0 references
Cartesian closed category
0 references