What we're about

This group is about applying category theory - a branch of mathematics that has revolutionized many areas of computer science, including functional programming - to problems in information management. Category theory provides the theoretical guidance missing from current-generation data models (Relational, RDF/OWL, Graph, Key-Value, LINQ) and the "Categorical Data" community (which originated in the MIT math department) has built open-source software for "high-assurance" querying and data integration.

Community site: http://categoricaldata.net (http://categoricaldata.net/)

Telegram channel: https://t.me/appliedcategorytheory

Upcoming events (4+)

Introduction to Category Theory

Online event

The Boston categorical data community (https://www.categoricaldata.net) joins the San Francisco applied category theory (http://www.appliedcategorytheory.org) community. Meetups will be every 1st Tuesday of the month.

See https://www.meetup.com/Category-Theory

See Zoom meeting link.

Introduction to Category Theory

Online event

The Boston categorical data community (https://www.categoricaldata.net) joins the San Francisco applied category theory (http://www.appliedcategorytheory.org) community. Meetups will be every 1st Tuesday of the month.

See https://www.meetup.com/Category-Theory

See Zoom meeting link.

Introduction to Category Theory

Online event

The Boston categorical data community (https://www.categoricaldata.net) joins the San Francisco applied category theory (http://www.appliedcategorytheory.org) community. Meetups will be every 1st Tuesday of the month.

See https://www.meetup.com/Category-Theory

See Zoom meeting link.

Introduction to Category Theory

Online event

The Boston categorical data community (https://www.categoricaldata.net) joins the San Francisco applied category theory (http://www.appliedcategorytheory.org) community. Meetups will be every 1st Tuesday of the month.

See https://www.meetup.com/Category-Theory

See Zoom meeting link.

Past events (37)

Photos (15)