Towards a Readable Formalisation of Category Theory
نویسندگان
چکیده
منابع مشابه
Towards a Readable Formalisation of Category Theory
We formally develop category theory up to Yoneda’s lemma, using Isabelle/HOL/Isar, and survey previous formalisations. By using recently added Isabelle features, we have produced a formal text that more closely approximates informal mathematics.
متن کاملHomotopy Theory and TDA with a View Towards Category Theory
This thesis contains three papers. Paper A and Paper B deal with homotopy theory and Paper C deals with Topological Data Analysis. All three papers are written from a categorical point of view. In Paper A we construct categories of short hammocks and show that their weak homotopy type is that of mapping spaces. While doing this we tackle the problem of applying the nerve to large categories wit...
متن کاملTowards a Formalisation of Electronic Contracting Environments
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalizations at a number of levels have been created. One of the lowest levels, upon which the other levels are built is the normative level. At this level, we identify how contract clauses (modeled as norms) may evolve over time...
متن کاملTowards Category Theory Foundations for Model Management
The paper aims to demonstrate that category theory (CT) methods are appropriate in the model management context. We show that CT naturally appears on stage, when we model such basic constructs as model merge and parallel composition accurately and consistently. We present categorical constructs in a tutorial-like style by applying them to simple labeled transition systems (LTSs), and reveal new...
متن کاملTowards a General Description of Physical Invariance in Category Theory
Invariance is one of the most important notions in applications of mathematics. It is one of the key concepts in modern physics, is a computational tool that helps in solving complex equations, etc. In view of its importance, it is desirable to come up with a definition of invariance which is as general as possible. In this paper, we describe how to formulate a general notion of invariance in c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2003.12.014