dedekind::category::IdentityIn< Cat > Struct Template Reference

The identity of a category whose arrows are one type, Cat::Arrow: an identity arrow on Cat::Species, so its law is read at the type, that converts to the category's arrow, Cat::unit_arrow(), where an arrow of that type is wanted. More...

Public Types
using	Domain = typename Cat::Species
using	Codomain = typename Cat::Species

Public Member Functions
constexpr Domain	operator() (Domain x) const
constexpr	operator typename Cat::Arrow () const
constexpr bool	operator== (const IdentityIn &) const =default

Detailed Description

template<typename Cat>
struct dedekind::category::IdentityIn< Cat >

The identity of a category whose arrows are one type, Cat::Arrow: an identity arrow on Cat::Species, so its law is read at the type, that converts to the category's arrow, Cat::unit_arrow(), where an arrow of that type is wanted.

Template Parameters

Cat	the category.

---

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

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