Algebraic theories and commutativity in a sheaf topos

DOI10.1007/s10485-019-09579-5zbMath1439.18005arXiv1803.09378OpenAlexW2972390277WikidataQ127319405 ScholiaQ127319405MaRDI QIDQ2307525

Boaz Haberman

Publication date: 24 March 2020

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.09378

zbMATH Keywords

universal algebracommutativeLawvere theoryfibered categoriesmonoidal

Mathematics Subject Classification ID

Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cites Work

• Notions of Lawvere theory
• Borel structures for function spaces
• Universal algebra in a closed category
• A classification of accessible categories
• On limit-preserving functors
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• A reflection theorem for closed categories
• Enriched algebraic theories and monads for a system of arities
• Enriched indexed categories
• Borel Structure in Groups and Their Duals
• Framed bicategories and monoidal fibrations
• A Convenient Category for Higher-Order Probability Theory
• On closed categories of functors
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic theories and commutativity in a sheaf topos