Enhanced 2-categories and limits for lax morphisms

Stephen Lack*, Michael Shulman

*Corresponding author for this work

    Research output: Contribution to journalArticle

    18 Citations (Scopus)

    Abstract

    We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is done using the framework of 2-monads. In order to characterize the limits which exist in this context, we need to consider also the functors which do strictly preserve the extra structure. We show how such a 2-category of weak morphisms which is "enhanced", by specifying which of these weak morphisms are actually strict, can be thought of as category enriched over a particular base cartesian closed category F. We give a complete characterization, in terms of F-enriched category theory, of the limits which exist in such 2-categories of categories with extra structure.

    Original languageEnglish
    Pages (from-to)294-356
    Number of pages63
    JournalAdvances in Mathematics
    Volume229
    Issue number1
    DOIs
    Publication statusPublished - 15 Jan 2012

    Fingerprint Dive into the research topics of 'Enhanced 2-categories and limits for lax morphisms'. Together they form a unique fingerprint.

    Cite this