Artin glueing
From MaRDI portal
Publication:1843491
DOI10.1016/0022-4049(74)90014-0zbMath0282.18011OpenAlexW4210435441MaRDI QIDQ1843491
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
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
This page was built for publication: Artin glueing
