DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Indiscrete category
Indiscrete category
Experience Implementing a Performant Category-Theory Library in Coq
The Way of the Dagger
Experience Implementing a Performant Category-Theory Library in Coq
LIMITS in DAGGER CATEGORIES 1. Introduction
Arxiv:1904.10805V1 [Math.CT]
18.S996S13 Textbook: Category Theory for Scientists
Top View