scientific article; zbMATH DE number 5171540
From MaRDI portal
Publication:5298124
zbMath1123.18001MaRDI QIDQ5298124
Publication date: 16 July 2007
Full work available at URL: https://eudml.org/doc/128088
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (21)
Singular cohomology from supersymmetric field theories ⋮ On the relation between continuous and combinatorial ⋮ Adjoint Logic with a 2-Category of Modes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The construction of \(\pi_0\) in Axiomatic Cohesion ⋮ Maps with discrete fibers and the origin of basepoints ⋮ Unnamed Item ⋮ F. William Lawvere (1937--2023): a lifelong struggle for the unity of mathematics ⋮ Unnamed Item ⋮ Separable MV-algebras and lattice-ordered groups ⋮ El irrazonable poder definitorio de las adjunciones ⋮ Categories of partial equivalence relations as localizations ⋮ The hyperconnected maps that are local ⋮ A type theory for synthetic $\infty$-categories ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES ⋮ Sobriety for equilogical spaces ⋮ Monoid properties as invariants of toposes of monoid actions ⋮ Unnamed Item
This page was built for publication:
