Formalizing Restriction Categories

DOI10.6092/ISSN.1972-5787/6237MaRDI QIDQ5195282zbMATH OpenOpenAlexFDO

Authors James Chapman, Tarmo Uustalu, Niccolò Veltri

Publication date 18 September 2019

Full work available at URL https://doaj.org/article/2a8c84275bb34bc0b3a7abe0b92bb4c1

zbMATH Keywords

restriction categories

Mathematics Subject Classification ID

Special categories (18B99) Formalization of mathematics in connection with theorem provers (68V20) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Cocompletion of restriction categories
• Restriction categories as enriched categories
• Boolean and classical restriction categories
• Formal Concepts in Dedekind Categories
• Differential restriction categories
• scientific article; zbMATH DE number 1157196
• Rigidification of higher categorical structures
• Classifying spaces of categories and term rewriting
• Varieties of restriction semigroups and varieties of categories
• Restriction categories. I: Categories of partial maps

Cited in

(6)

• Formalizing abstract computability: Turing categories in Coq
• New Computational Paradigms
• Differential restriction categories
• scientific article; zbMATH DE number 3892199 (Why is no real title available?)
• A formal identification between tuples and lists with an application to list-arithmetic categories
• Restriction categories III: colimits, partial limits and extensivity

Describes a project that uses

Uses Software

• Agda

This page was built for publication: Formalizing Restriction Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195282)