jwiegley/category-theory

Issues

• StrictCat

  #138 opened a year ago by patrick-nicodemus
  1

• CartesianMonoidal cleanup

  #139 opened a year ago by patrick-nicodemus
  1

• Conflicts in notations with Coq 8.19

  #141 opened 3 months ago by jjhugues
  5

• Definition of full is nonstandard

  #118 opened 2 years ago by patrick-nicodemus
  1

• Mistakes in the definition of Poset

  #124 opened 2 years ago by t-wissmann
  1

• Sets_Terminal is insufficiently universe-polymorphic

  #126 opened a year ago by nickmertin
  0

• OPAM release?

  #17 opened 2 years ago by arthuraa
  9

• Export a constructor that proves comp_assoc_sym

  #12 opened 3 years ago by langston-barrett
  2

• Broken links on newartisans.com

  #9 opened 3 years ago by afcady
  2

• exists forall?

  #14 opened 3 years ago by salamynder
  1

• The reference X0 was not found in the current environment

  #16 opened 3 years ago by vonavi
  2

• not build for 8.12

  #18 opened 3 years ago by HuStmpHrrr
  2

• How to build?

  #13 opened 6 years ago by HuStmpHrrr
  1

• Compatibility with Coq 8.8?

  #11 opened 6 years ago by langston-barrett
  8

• Proof of comma category characterization of an adjunction

  #6 opened 7 years ago by svenkeidel
  10

• Use setoids from the standard library

  #10 opened 6 years ago by langston-barrett
  3

• Duplicated proofs in Isomorphism.v

  #5 opened 7 years ago by svenkeidel
  1

• Pdf link is not available.

  #1 opened 8 years ago by wpoosanguansit
  3

• Can you explain uhom?

  #2 opened 8 years ago by MarisaKirisame
  2