Fibrations of AU-contexts beget fibrations of toposes
From MaRDI portal
Publication:5112051
zbMath1462.18001arXiv1808.08291MaRDI QIDQ5112051
Steven Vickers, Sina Hazratpour
Publication date: 28 May 2020
Full work available at URL: https://arxiv.org/abs/1808.08291
Categorical logic, topoi (03G30) Fibered categories (18D30) Grothendieck topologies and Grothendieck topoi (18F10) 2-categories, bicategories, double categories (18N10) Sketches and generalizations (18C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Fibred 2-categories and bicategories
- An induction principle for consequence in arithmetic universes
- Partial Horn logic and Cartesian categories
- Two-dimensional monad theory
- Conspectus of variable categories
- Flexible limits for 2-categories
- Some properties of Fib as a fibred \(2\)-category
- Fibrations and partial products in a 2-category
- Information systems for continuous posets
- Yoneda structures from 2-toposes
- A characterization of pie limits
- Arithmetic universes and classifying toposes
- Topical categories of domains
- Sketches for arithmetic universes
This page was built for publication: Fibrations of AU-contexts beget fibrations of toposes
