A property of effectivization and its uses in categorical logic

MaRDI QIDQ4975426zbMATH OpenFDO

Authors Vasileios Aravantinos-Sotiropoulos, Panagis Karazeris

Publication date 7 August 2017

Full work available at URL http://www.emis.de/journals/TAC/volumes/32/22/32-22abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

conceptual completenessequivalencepretoposregular category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Eilenberg-Moore and Kleisli constructions for monads (18C20) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Recommendations

• Regular functors and relative realisability categories
• Regular and effective regular categories of locales
• Some free constructions in realizability and proof theory
• scientific article; zbMATH DE number 4065237
• Logic, sheaves, and factorization systems

Cites work

• A theorem on Barr-exact categories, with an infinitary generalization
• Coinverters and categories of fractions for categories with structure
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Elementary quotient completion
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• scientific article; zbMATH DE number 3931013 (Why is no real title available?)
• scientific article; zbMATH DE number 4065237 (Why is no real title available?)
• scientific article; zbMATH DE number 4125648 (Why is no real title available?)
• scientific article; zbMATH DE number 1247371 (Why is no real title available?)
• scientific article; zbMATH DE number 3794304 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Regular and exact completions
• Two-dimensional regularity and exactness
• Unifying exact completions
• When do completion processes give rise to extensive categories?

Cited in

(3)

• The exact completion for regular categories enriched in posets
• Flatness, weakly lex colimits, and free exact completions
• A theorem on Barr-exact categories, with an infinitary generalization

This page was built for publication: A property of effectivization and its uses in categorical logic

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