{"repo":"ScriptRaccoon/CatDat","free":true,"listed":false,"github":"https://github.com/ScriptRaccoon/CatDat","clone":"git clone https://github.com/ScriptRaccoon/CatDat.git","description":"A comprehensive and searchable database of categories and their properties","language":"TypeScript","stars":37,"topics":["category-theory","database","mathematics","pure-mathematics","sqlite","sveltekit","knowledge-base"],"license":"MIT","category":"databases-storage","readme_excerpt":"CatDat https://catdat.app CatDat provides a growing collection of categorical structures such as categories, functors, morphisms, and symmetric monoidal categories, each with detailed descriptions and properties. Built by and for those who love category theory. Watch the YouTube video Features - Types of Categorical Structures : Supports categories, functors, morphisms, and symmetric monoidal categories. - Structure Detail Pages : Each categorical structure has a dedicated page with its definition, satisfied and unsatisfied properties, and related structures. - Property Detail Pages : Explore the definition of a property and view categorical structures that satisfy it and those that don't. - Proofs and References : Each property and implication includes a proof or reference, forming a data-driven knowledge base for category theory. - Deduction System : Automatically infers properties of categorical structures from existing ones using a database of implications. - Automatic Dualization : Automatically dualizes implications and property assignments. - Searchable Database : Find categorical structures based on satisfied properties and unsatisfied properties. - Comparison Feature : Compare multiple categorical structures to identify their differences and similarities. - Intuitive User Interface : Usable on both mobile and desktop. Supports Light/dark mode. How to contribute This project is a community effort . Whether you're a mathematician spotting missing data or a developer im","default_branch":null,"files":null,"tree":[],"storefront":"/r/ScriptRaccoon","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ScriptRaccoon/CatDat/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}