From: "Tarik ÖZKANLI" <tozkanli2023@gmail.com>
To: Jamie Vicary <jamie.vicary@cl.cam.ac.uk>
Cc: categories@mq.edu.au
Subject: Re: SmallCats.info
Date: Mon, 21 Oct 2024 09:55:59 +0300 [thread overview]
Message-ID: <CAGxnKG_udoKt9WAFzrzA+mRfAsQpzhEVwjJqJdrGLUDBk32nmg@mail.gmail.com> (raw)
In-Reply-To: <CANr23v3BJ9xgAnFKmBeqmV21OGfDcZbL6NMjpB-jTmi4QyygHQ@mail.gmail.com>
[-- 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 --]
prev parent reply other threads:[~2024-10-21 8:43 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-18 19:20 SmallCats.info Jamie Vicary
2024-10-21 6:55 ` Tarik ÖZKANLI [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAGxnKG_udoKt9WAFzrzA+mRfAsQpzhEVwjJqJdrGLUDBk32nmg@mail.gmail.com \
--to=tozkanli2023@gmail.com \
--cc=categories@mq.edu.au \
--cc=jamie.vicary@cl.cam.ac.uk \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).