Documentation

Getting Started

• Introduction to SRCTS

  Overview of self-referential structures in category theory

• Prerequisites

  Required background in category theory and type theory

• Core Concepts

  Endofunctors, fixed points, and recursive definitions

Guides