Artin glueing

DOI10.1016/0022-4049(74)90014-0zbMath0282.18011OpenAlexW4210435441MaRDI QIDQ1843491

Gavin C. Wraith

Publication date: 1974

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(74)90014-0

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (23)

Semantic analysis of normalisation by evaluation for typed lambda calculus ⋮ A completeness theorem for open maps ⋮ Topological systems and Artin glueing ⋮ Variations on the bagdomain theme ⋮ Kleene computable functionals and the higher order existence property ⋮ A survey of Schreier-type extensions of monoids ⋮ \(\lambda\)-semidirect products of inverse monoids are weakly Schreier extensions ⋮ Artin glueings of toposes as adjoint split extensions ⋮ A characterization of weakly Schreier extensions of monoids ⋮ The glueing construction and lax limits ⋮ Separable algebraic closure in a topos ⋮ Continuous categories and exponentiable toposes ⋮ Connected limits, familial representability and Artin glueing ⋮ Artin glueings of frames as semidirect products ⋮ Cartesian monads on toposes ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ On the structure of categories of coalgebras ⋮ Baer sums for a natural class of monoid extensions ⋮ Three extensional models of type theory ⋮ Wellfounded trees in categories ⋮ Cofibrations in the bicategory of topoi ⋮ Aspects of Categorical Recursion Theory ⋮ Fibrations and partial products in a 2-category

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Artin glueing