# nLab sub-(infinity,1)-category - internal formulation

under construction

# Contents

## Idea

The following gives a characterization of full sub-(∞,1)-categories of an (∞,1)-topos entirely in terms of its internal logic/homotopy type theory.

(…)

## Statement

(…)

Revised on December 20, 2011 22:44:09 by Urs Schreiber (130.226.87.167)