txa/cftlfp

Issues

• makefile broken

  #19 opened 2 months ago
  0

• introduction

  #17 opened 2 months ago
  0

• higher categories

  #16 opened 2 months ago
  0

• Univalent categories

  #15 opened 2 months ago
  0

• categorical semantics of type theory

  #14 opened 2 months ago
  0

• monads and comonads

  #13 opened 2 months ago
  0

• finish limits and colimits

  #12 opened 2 months ago
  0

• Answers to questions and exercises at the end

  #8 opened 2 months ago
  1

• Create graphics, customize design

  #7 opened 6 months ago
  5

• Use lambdas uniformly, introduce notation in 'Preliminaries'

  #6 opened 6 months ago
  2

• Use definition, theorem, etc. environments

  #5 opened 2 months ago
  1

• Make sections modular

  #4 opened 2 months ago
  6

• Introduce preorders and monoids in 'Preliminaries' section

  #3 opened 2 months ago
  1

• Insert exercises solutions into notes

  #1 opened 6 months ago
  0