Built with
Alectryon. Bubbles (
) indicate interactive fragments: hover for details, tap to reveal contents. Use
Ctrl+↑ Ctrl+↓ to navigate,
Ctrl+🖱️ to focus. On Mac, use
⌘ instead of
Ctrl.
(** * Groupoids *)
(** ** Definition *)
Require GroupoidCategory.Core.
(** ** Morphisms in a groupoid *)
Require GroupoidCategory.Morphisms.
(** ** Propositional self-duality *)
Require GroupoidCategory.Dual.
Include GroupoidCategory.Core.
Include GroupoidCategory.Core.GroupoidCategoryInternals.
Include GroupoidCategory.Morphisms.
Include GroupoidCategory.Dual.