A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.

Eric Finster Samuel Mimram Maxime Lucas Thomas Seiller

Published in: MFPS (2021)

Keyphrases

theoretical framework
information theory
algebraic geometry
decision trees
information technology
higher order
theoretical foundation
theoretical basis
database
neural network
belief functions
low order