scientific article
From MaRDI portal
Publication:2927669
zbMath1307.18002MaRDI QIDQ2927669
Publication date: 4 November 2014
Full work available at URL: http://www.emis.de/journals/TAC/volumes/29/20/29-20abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
On the relation between continuous and combinatorial ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The construction of \(\pi_0\) in Axiomatic Cohesion ⋮ Unnamed Item ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES ⋮ Monoid properties as invariants of toposes of monoid actions
This page was built for publication:
