counting, a counted tensor to its count: the reading that ends a pipeline of arrows, as count ends a query. The cardinality, strong monoidal from \(\otimes\) to \(\times\) (the box law read on counts), modulo the word: a ranking by it is a ranking of the exact counts only while they fit, which the law's plan, evaluating no count, does not need and the fused pass does (#1134). More...

Public Types
using	Domain = J
using	Codomain = decltype(count(std::declval<const J&>()))

Public Member Functions
constexpr Codomain	operator() (const J &j) const

Detailed Description

template<typename J>
struct dedekind::category::Counting< J >

counting, a counted tensor to its count: the reading that ends a pipeline of arrows, as count ends a query. The cardinality, strong monoidal from \(\otimes\) to \(\times\) (the box law read on counts), modulo the word: a ranking by it is a ranking of the exact counts only while they fit, which the law's plan, evaluating no count, does not need and the fused pass does (#1134).

Template Parameters

J	the tensor.

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

src/main/modules/dedekind/category/comprehension.cppm

Public Types

Public Member Functions

Detailed Description