AI Chat AI Image Generator AI Video Text to Speech

Proceedings Applied Category Theory 2019

09/14/2020

∙

by John Baez, et al.

∙

∙

Applied Category Theory is a new conference series. All papers are carefully refereed, and the bar for acceptance is high. This 1st occurrence in this format resulted in some 70 submitted papers and 150 attendants. The conference is part of the Compositionally family, a new diamond open access journal.

John Baez
2 publications
Bob Coecke
41 publications

research

∙ 06/12/2020

Characterising authors on the extent of their paper acceptance: A case study of the Journal of High Energy Physics

New researchers are usually very curious about the recipe that could acc...

0 Rima Hazra, et al. ∙

research

∙ 06/15/2018

Formalizing Category Theory and Presheaf Models of Type Theory in Nuprl

This article is the first in a series of articles that explain the forma...

0 Mark Bickford, et al. ∙

research

∙ 03/02/2021

Internal Category with Families in Presheaves

In this note, we review a construction of category with families (CwF) i...

0 Jason Z. S. Hu, et al. ∙

research

∙ 05/14/2020

A Category Theory Approach to Interoperability

In this article, we propose a Category Theory approach to (syntactic) in...

0 Riccardo Del Gratta, et al. ∙

research

∙ 10/31/2022

Proceedings of the Fourth International Conference on Applied Category Theory

The Fourth International Conference on Applied Category Theory took plac...

0 Kohei Kishida, et al. ∙

research

∙ 01/14/2019

On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions

Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two p...

0 Julian Dörfler, et al. ∙

research

∙ 12/14/2018

Theory Presentation Combinators

To build a scalable library of mathematics, we need a method which takes...

0 Jacques Carette, et al. ∙