projects / coq-categories.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
FreydCategories: add strictness requirement for unit object
[coq-categories.git] / src / Equalizers_ch3_3.v
1 Generalizable All Variables.
2 Require Import Notations.
3
4 (******************************************************************************)
5 (* Chapter 3.3: Equalizers                                                    *)
6 (******************************************************************************)
7
8 (* FIXME *)
formalization of basic category theory in Coq