Weil 2-rigs

MaRDI QIDQ6961103zbMATH OpenFDO

Authors Luca Spada, Gavin st. John

Publication date 11 July 2025

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.tac.mta.ca/tac/volumes/43/12/43-12abs.html#vol43

zbMATH Keywords

extensive categoriesrigsWeil algebra

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Semirings (16Y60)

Cites work

• A basis theorem for 2-rigs and rig geometry
• A representation theorem for integral rigs and its applications to residuated lattices.
• Axiomatic cohesion
• Core varieties, extensivity, and rig geometry
• Finiteness of the odd perfect and primitive abundant numbers with \(n\) distinct prime factors.
• scientific article; zbMATH DE number 3741604 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Level \(\varepsilon\)

Cited in

(1)

• Why the Kock-Lawvere axiom holds, and also doesn't, in the classifier of integral rigs

This page was built for publication: Weil 2-rigs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6961103)