Search Results for author:
Found 7 papers, 2 papers with code
Sheet diagrams for bimonoidal categories
Bimonoidal categories (also known as rig categories) are categories with two monoidal structures, one of which distributes over the other.
Category Theory 18M30, 18M50
The word problem for double categories
We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories.
Category Theory Logic in Computer Science 18D05
A survey of OpenRefine reconciliation services
We review the services implementing the OpenRefine reconciliation API, comparing their design to the state of the art in record linkage.
OpenTapioca: Lightweight Entity Linking for Wikidata
We propose a simple Named Entity Linking system that can be trained from Wikidata only.
Autonomization of Monoidal Categories
We show that contrary to common belief in the DisCoCat community, a monoidal category is all that is needed to define a categorical compositional model of natural language.
Complexity of Grammar Induction for Quantum Types
Most categorical models of meaning use a functor from the syntactic category to the semantic category.
