Skip to content

Add the category of Jónsson-Tarski algebras#144

Merged
ScriptRaccoon merged 7 commits into
mainfrom
jonsson-tarski-algebras
May 2, 2026
Merged

Add the category of Jónsson-Tarski algebras#144
ScriptRaccoon merged 7 commits into
mainfrom
jonsson-tarski-algebras

refine implication: malcev + subobject classifier => thin (=> trivial)

3cd9903
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar