The category of equilogical spaces and the effective topos as homotopical quotients (Q504545): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s40062-016-0161-z / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1511.06901 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equilogical spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4936141 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sobriety for equilogical spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5545247 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some free constructions in realizability and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4740070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3795831 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Regular and exact completions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995720 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tripos theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Discrete Objects in the Effective Topos / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4247303 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3671978 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A small complete category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4511152 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Colimit completions and the effective topos / rank
 
Normal rank
Property / cites work
 
Property / cites work: Data Types as Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy Type Theory: Univalent Foundations of Mathematics / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S40062-016-0161-Z / rank
 
Normal rank

Latest revision as of 19:45, 9 December 2024

scientific article
Language Label Description Also known as
English
The category of equilogical spaces and the effective topos as homotopical quotients
scientific article

    Statements

    The category of equilogical spaces and the effective topos as homotopical quotients (English)
    0 references
    0 references
    17 January 2017
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references