nLab
bireflective subcategory

Context

Category theory

Concepts

Universal constructions

    • /

    • /

Theorems

Extensions

Applications

Notions of subcategory

    • , , , , , ,

    • , ,

  • ()

    • ()

    • ()

  • (of a )

Contents

Idea

A bireflective subcategory BCB\subset C is a subcategory which is both reflective and coreflective; i.e. it is a fully faithful functor possessing both left and right adjoints.

Some people use the term in different, weaker meaning, that the unit of the adjunction is a bimorphism.

The adjoint pair induced from the adjoint triple given by reflection, inclusion and coreflection of a bireflective subcategory is an adjoint modality. See there for more.

Last revised on August 19, 2018 at 04:55:00. See the history of this page for a list of all contributions to it.