On algebras defined by operations and equations in a topos

DOI10.1016/0022-4049(80)90085-7zbMath0432.18008OpenAlexW1979005067MaRDI QIDQ1138627

Robert D. Rosebrugh

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90085-7

zbMATH Keywords

monadic algebraelementary toposinternal axiom of choiceinternal family of equations

Mathematics Subject Classification ID

Topoi (18B25) Equational categories (18C05) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05)

Related Items (2)

On defining objects by recursion in a topos ⋮ Lax monads. Indexed monoidal monads

Cites Work

• Coequalizers and free triples
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On algebras defined by operations and equations in a topos