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)

Review text

This paper is concerned with Weil 2-rigs. The synopsis of the paper goes as follows:\N\begin{itemize}\N\item[\S 2] Gives preliminaries.\N\item[\S 3] Presents two characterizations of Weil 2-rigs, the first being in terms of prime ideals and the second being an explicit description in geometric logic (Theorem 3.5).\N\item[\S 4] Establishes the following two theorems\N\NTheorem 4.10. The variety of rigs is generated by a class of finite 2-Weil rigs.\N\NTheorem 4.12. The variety of 2-rigs is generated by its free algebra over a single generator.\N\N\item[\S 5] Shows that the varieties 2\textsf{Rig} and \textsf{iRig} are generated by finite 2-Weil rigs (Theorem 5.7).\N\end{itemize}

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)