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

Context

Notions of subcategory

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

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

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-(,1)(\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 16:32:28 by Urs Schreiber (82.113.99.46)