On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls).

Jirí Adámek Stefan Milius Lawrence S. Moss

Published in: CALCO (2023)

Keyphrases

algebraic curves
algebraic geometry
desirable properties
inference rules
modal logic
model checking
temporal logic
hausdorff distance
databases
real time
low order
data structure
invariant representations
multi agent
learning algorithm
information retrieval
real world