pith. machine review for the scientific record. sign in

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

Recognition: unknown

Duality for generic algebras

Anders Kock
Authors on Pith no claims yet
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 1 Pith paper

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.