We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: A Probabilistic Generative Model of Free Categories

Abstract: Applied category theory has recently developed libraries for computing with morphisms in interesting categories, while machine learning has developed ways of learning programs in interesting languages. Taking the analogy between categories and languages seriously, this paper defines a probabilistic generative model of morphisms in free monoidal categories over domain-specific generating objects and morphisms. The paper shows how acyclic directed wiring diagrams can model specifications for morphisms, which the model can use to generate morphisms. Amortized variational inference in the generative model then enables learning of parameters (by maximum likelihood) and inference of latent variables (by Bayesian inversion). A concrete experiment shows that the free category prior achieves competitive reconstruction performance on the Omniglot dataset.
Comments: Submitted to International Conference on Applied Category Theory 2022 (ACT 2022)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Category Theory (math.CT); Machine Learning (stat.ML)
MSC classes: 18M35
ACM classes: I.2.6; I.2.4
Cite as: arXiv:2205.04545 [cs.AI]
  (or arXiv:2205.04545v2 [cs.AI] for this version)

Submission history

From: Eli Sennesh [view email]
[v1] Mon, 9 May 2022 20:35:08 GMT (327kb,D)
[v2] Fri, 13 May 2022 19:22:05 GMT (327kb,D)

Link back to: arXiv, form interface, contact.