Re: T-algebras in CAT v. categories in T-alg

[Uwe Egbert Wolter <Uwe.Wolter@uib.no>]

[-- Attachment #1: Type: text/plain, Size: 3040 bytes --]

There is even an earlier paper from J.W. Gray:

Categorical aspects of data type constructions in TCS 50  (1987) 103-135

Best

Uwe
________________________________
From: Andrea Corradini <andrea.corradini@unipi.it>
Sent: Friday, March 22, 2024 10:07
To: David Yetter <dyetter@ksu.edu>
Cc: Categories mailing list <categories@mq.edu.au>
Subject: Re: T-algebras in CAT v. categories in T-alg

Dear David,

The following paper can be relevant:

J.W. Gray, The category of sketches as a model for algebraic semantics, Contemp. Math. 92 (1989)

Look at the tensor product in the category of sketches defined in Section 4.
Models of sketch $A \otimes B$ are models of $B$ in the category of models of $A$,
and $\otimes$ is commutative.

Best,
Andrea Corradini

On Thu, Mar 21, 2024 at 10:28 PM David Yetter <dyetter@ksu.edu<mailto:dyetter@ksu.edu>> wrote:
Dear Colleagues:

This is surely something well-known, but it is also opaque to search-engine queries.  It is well-known (and I've both used the result and proved it by hand) than group objects in Cat and category object in Groups are the same thing:  strict monoidal categories in which every object and every arrow have an inverse with respect to \otimes.

What class of theories (e.g. finite product, left-exact, finitely axiomatizable equational,...) have the property that category objects in their category of models are the same as models of the theory in Cat?  Citations would be welcomed.

The question came up in work with an old student of mine, and rather than spending time proving the result we'd like for the particular theory at hand, I thought it best to see if it followed from something in the literature.  Alas, all sensible keyword combinations give pages of irrelevant search results, so asking the community seemed the best way to proceed.

Thanks in advance.

Best thoughts,
D.Y.


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://url.au.m.mimecastprotect.com/s/wi0IC3QNl1S1N2WEsgb0ba?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/6pqmC4QO8xSNklRvixU0n7?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/q6uuC5QP8ySmN6wDuyNwck?domain=aka.ms>



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 10689 bytes --]