pith. sign in

arxiv: 1412.6660 · v1 · pith:TPWZWHF3new · submitted 2014-12-20 · 🧮 math.CT

Duality for generic algebras

Anders Kock This is my paper
classification 🧮 math.CT
keywords dualitygenericalgebraalgebraicalgebrasdoubledualizationgelfand-
0
0 comments X
read the original abstract

We prove that double dualization into the generic algebra for an algebraic theory has some Gelfand- or Stone- duality properties

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constructive higher sheaf models with applications to synthetic mathematics

    cs.LO 2026-05 unverdicted novelty 7.0

    Constructive higher sheaf models of type theory with univalence and higher inductive types are constructed to underpin synthetic mathematics.

  2. Constructive higher sheaf models with applications to synthetic mathematics

    cs.LO 2026-05 unverdicted novelty 6.0

    Develops constructive higher sheaf models of type theory to support synthetic mathematics with univalence and higher inductive types.