nLab injective topos

Redirected from "branes at angles".
Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

An injective topos is a topos-theoretic generalization of the notion of an injective object familiar from algebra, or in other words, a topos with good extension properties along subtopos inclusions.

Definition

Definition

A Grothendieck topos \mathcal{E} is called injective (with respect to subtopos inclusions) in the 2-category of Grothendieck toposes GrTopGrTop if for every inclusion i:𝒢i:\mathcal{F}\hookrightarrow\mathcal{G} and 1-cell f:f:\mathcal{F}\to\mathcal{E} there exists a 1-cell g:𝒢g:\mathcal{E}\to\mathcal{G} and a 2-isomorphism gifg\circ i\cong f .

Properties

The main characterization of injective toposes is achieved by the following result due to Johnstone-Joyal (1982).

Theorem

There is an equivalence of 2-categories between the full sub-2-category of GrTopGrTop with 0-cells the injective toposes and the 2-category of cocomplete ind-small continuous categories with 1-cells the filtered colimit preserving functors. This equivalence sends an injective topos to its category of points.

Note, that this gives also a characterization of the continuous categories involved as category of points of injective toposes.

Proposition

The lex totally distributive categories with a small dense generator are precisely the injective Grothendieck toposes.

This occurs as theorem 4.5 in Lucyshyn-Wright (2011).

Example

References

Last revised on March 19, 2018 at 21:47:09. See the history of this page for a list of all contributions to it.