# nLab reflective product-preserving sub-(∞,1)-category

Contents

### Context

#### $(\infty,1)$-topos theory

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Definition

A reflective sub-(∞,1)-category such that the reflector preserves products.

## Properties

When formutating “reflective sub-$(\infty,1)$-category” in the internal language of an (∞,1)-topos the respect for products is automatic. See reflective product-preserving sub-(∞,1)-category - internal formulation.

Created on November 21, 2011 at 16:28:09. See the history of this page for a list of all contributions to it.