Exponential Kleisli Monoids as Eilenberg-Moore Algebras.

Dirk Hofmann Frédéric Mynard Gavin J. Seal

Published in: Appl. Categorical Struct. (2015)

Keyphrases

knowledge representation
topological spaces
database
data sets
databases
image sequences
multiscale
spatial reasoning
autoepistemic logic
distributive lattices