Words, free algebras, and coequalizers

DOI10.4064/FM-117-2-117-160zbMATH Open0542.08005OpenAlexW814004361MaRDI QIDQ3329520FDOQ3329520

Authors: Andreas Blass 

Publication date: 1983

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211359

Recommendations

• Publication:4207951
• scientific article; zbMATH DE number 2242853
• FREE ALGEBRAS—ARE THEY CATEGORICALLY DEFINABLE?
• Free algebras in varieties.
• scientific article; zbMATH DE number 4170989

zbMATH Keywords

free algebrasvariety of algebrasaxiom of choiceBoolean toposcoequalizerstopos with natural numbers object

Mathematics Subject Classification ID

Free algebras (08B20) Topoi (18B25) Axiom of choice and related propositions (03E25) Large cardinals (03E55)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A class of higher inductive types in Zermelo‐Fraenkel set theory
• Well-foundedness in realizability
• Semantics of higher inductive types
• FREE ALGEBRAS—ARE THEY CATEGORICALLY DEFINABLE?
• Quotients, inductive types, and quotient inductive types
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Words, free algebras, and coequalizers

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