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.
(** * Initial and terminal category notations *)
Require InitialTerminalCategory.Functors.
Require InitialTerminalCategory.Pseudofunctors.
Export InitialTerminalCategory.Functors.InitialTerminalCategoryFunctorsNotations.
Export InitialTerminalCategory.Pseudofunctors.InitialTerminalCategoryPseudofunctorsNotations.