Partially ordered objects in a topos

DOI10.2989/16073606.2020.1812757zbMath1490.18003OpenAlexW3089746838MaRDI QIDQ5023614

Unnamed Author, M. Mehdi Ebrahimi, Mojgan Mahmoudi

Publication date: 24 January 2022

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

Full work available at URL: https://doi.org/10.2989/16073606.2020.1812757

zbMATH Keywords

partial ordertoposCartesian closed category

Mathematics Subject Classification ID

Partial orders, general (06A06) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cites Work

• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• Least fixed point of a functor
• Sheaves in geometry and logic: a first introduction to topos theory
• The origin of Zorn's lemma
• Fixed-point constructions in order-enriched categories
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Fixpoint semantics for logic programming a survey
• Fixpoint operators for domain equations
• Categorical fixed point calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partially ordered objects in a topos