Partially ordered objects in a topos

DOI10.2989/16073606.2020.1812757MaRDI QIDQ5023614zbMATH OpenOpenAlexFDO

Authors 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

Cartesian closed categorypartial ordertopos

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)

Recommendations

• The meet continuous partial ordered objects in a topos
• The operator theory on complete partially ordered objects in a topos
• The supremum and infimum of partially ordered objects in a topos
• On the factorization theorem of a monotone morphism in a topos
• scientific article; zbMATH DE number 1985403

Cites work

• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Categorical fixed point calculus
• Fixed-point constructions in order-enriched categories
• Fixpoint operators for domain equations
• Fixpoint semantics for logic programming a survey
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Least fixed point of a functor
• On the failure of fixed-point theorems for chain-complete lattices in the effective topos
• Sheaves in geometry and logic: a first introduction to topos theory
• The origin of Zorn's lemma

Cited in

(11)

• Exponential objects
• The operator theory on complete partially ordered objects in a topos
• The supremum and infimum of partially ordered objects in a topos
• On the factorization theorem of a monotone morphism in a topos
• scientific article; zbMATH DE number 3865537 (Why is no real title available?)
• Some research on poset categories
• On Comparability in a Topos
• POWER-OBJECTS IN MONOTOPOLOGICAL CATEGORIES
• scientific article; zbMATH DE number 1985403 (Why is no real title available?)
• The meet continuous partial ordered objects in a topos
• Po-groups and hypergroups in a topos

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

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