3 citations · 5 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.CT2021
Regular Calculi I: Graphical Regular Logic
Tslil Clingman, Brendan Fong, David I. Spivak
What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category repr…
math.CT2021
A common misinterpretation of Isbell's obstruction to monoidal strictification
tslil clingman
A monoidal category has a natural isomorphism called the associator. In the case where the objects $(A\otimes B)\otim…