A Logic for Categories

  • CLAUDIO PISANI
  • Published 2010

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics