SmallCats.info

SmallCats.info

[Jamie Vicary]

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

Hi,

Perhaps not as well known as it should be, http://smallcats.info<https://url.au.m.mimecastprotect.com/s/8N2_CNLJxki0V8A3NsmfXFy4wUJ?domain=smallcats.info> is a beautiful website that hosts a database of all finite categories with up to 7 morphisms. Many properties are pre-computed and searchable (is_connected, is_groupoid, has_equalizers, etc).

I think this is very nice work and opens up some exciting possibilities.

Best wishes,
Jamie



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: 3817 bytes --]

Re: SmallCats.info

[Tarik ÖZKANLI]

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

It seems this project is inactive:
https://github.com/diracdeltafunk/SmallCategories-site

On Sat, 19 Oct 2024 at 00:09, Jamie Vicary <jamie.vicary@cl.cam.ac.uk<mailto:jamie.vicary@cl.cam.ac.uk>> wrote:
Hi,

Perhaps not as well known as it should be, http://smallcats.info<https://url.au.m.mimecastprotect.com/s/aIr8Cvl1g2S7O6WG2hQfLFQEPdr?domain=smallcats.info> is a beautiful website that hosts a database of all finite categories with up to 7 morphisms. Many properties are pre-computed and searchable (is_connected, is_groupoid, has_equalizers, etc).

I think this is very nice work and opens up some exciting possibilities.

Best wishes,
Jamie



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/Z2l9CwV1jpSG01L7AFqhgFJjaBQ?domain=outlook.office365.com>   |   Leave group<https://url.au.m.mimecastprotect.com/s/I4s9CxngGkf1mAJy9hYi4Fyfs_B?domain=outlook.office365.com>   |   Learn more about Microsoft 365 Groups<https://url.au.m.mimecastprotect.com/s/ieAyCyoj8Pur6MNg0FRspFxkQ5w?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: 6848 bytes --]