A Logic for Categories

  • Published 2010


We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusion (via discrete fibrations and opfibrations) of left and of right actions of X ∈ Cat in categories over X. Namely, a “weak temporal doctrine” consists essentially of two indexed functors with the same codomain such that the induced functors have both left… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics