dedekind::category::Morphism< A, B, Func > Struct Template Reference

The formal structure of an Arrow f: A -> B. More...

Public Types
using	Domain = A
using	Codomain = B

Public Member Functions
constexpr	Morphism (Func f)
constexpr bool	operator== (const Morphism &) const =default
	Two morphisms are equal when their callables are: decidable for a function pointer, deleted for a closure (:cartesian's Arrows).
constexpr	Morphism ()=default
	Default-constructible when the callable is, so that an arrow wrapping an empty function object (endo<T>(std::negate<T>{})) is semiregular, which a chain's coalgebra must be (:nno).
constexpr Codomain	operator() (const Domain &x) const

Public Attributes
Func	transform

Detailed Description

template<typename A, typename B, typename Func>
struct dedekind::category::Morphism< A, B, Func >

The formal structure of an Arrow f: A -> B.

morphism__The_Skeletal_Morphism

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/morphism.cppm