nLab M-cotopos

Contents

Context

Category theory

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

A cotopos with all M-types

See also

Last revised on June 4, 2022 at 01:34:32. See the history of this page for a list of all contributions to it.