You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
I'll be speaking in the Topos institute colloquium at the following time: . If you haven't been, the Topos colloquium is virtual, so if it's not the middle of your night, you should come by!
My title and abstract:
Instances of models of double theories
I'll introduce the notion of instance of a model of a double theory. I'm motivated by the analogy that, as a category is to its -sets, so a model of an arbitrary double theory (that is, a lax double functor ) is to its instances. The motivating case of the analogy arises precisely when we set to be the terminal double theory.
Thus the theory of instances can be seen as a chapter of categorical database theory. Beyond the most fundamental case, introduced by Spivak and Kent, of a database schema as a small category of "types" and "attributes", or "tables" and "foreign keys", and a database as a -set, the concept of instance encompasses such known extensions as to Baas, Fairbanks, Lynch, and Patterson's attributed -sets, as well as to Schultz, Spivak, Vasilakopoulou, and Wisknesky's algebraic profunctors. From broader motivations, such structures as multifunctors from a multicategory to and models of a Lawvere theory are also instances of "instances."
I'll describe the category of instances of models of simple double theories, as well, hopefully, as introducing the story for models of the modal double theories recently introduced into our CatColab tool as our main approach for handling categorical structures including multi-ary operations. I'll aim to explain how quite a lot of the standard theory of -sets generalizes beyond the terminal double theory. For instance, I'll give a comprehensive factorization system on the category of models of a double theory, together with a Grothendieck construction giving an equivalence between the category of discrete opfibrations over a model and the category of -instances.
This is the first public talk on the paper on the same talk Evan and I have been preparing for the Paré birthday issue of ACS. The paper had better appear between now and the colloquium, since the issue's deadline is tomorrow!
My talk will be starting in about 3 minutes here: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09