Commit 8a20dfc

authored

defn: Subobject classifiers (the1lab#411)

1 parent 2806523 commit 8a20dfcCopy full SHA for 8a20dfc

30 files changed

+2112

-541

lines changed

src
- Cat
  - CartesianClosed/Instances
    - PSh.agda
  - Diagram
    - Omega.lagda.md
    - Pullback.lagda.md
    - Pullback
      - Along.lagda.md
  - Displayed
    - GenericObject.lagda.md
    - Instances
      - Comma.lagda.md
      - Subobjects.lagda.md
      - Subobjects
        Reasoning.lagda.md
    - TwoSided
      - Discrete.lagda.md
  - Functor
    - Adjoint
      - Conservative.lagda.md
      - Continuous.lagda.md
    - Morphism.lagda.md
  - Instances
    - FinSets.lagda.md
    - FinSets
      - Omega.lagda.md
    - Presheaf
    - Sheaf
    - Sheaves.lagda.md
    - Sheaves
      - Omega.lagda.md
  - Morphism.lagda.md
  - Site
    - Base.lagda.md
    - Closure.lagda.md
    - Instances
      - Atomic.lagda.md
- Topoi
  - Reasoning.lagda.md
- preamble.tex

30 files changed

+2112

-541

lines changed

`‎src/Cat/CartesianClosed/Instances/PSh.agda‎`

This file was deleted.

Comments

(0)