nLab Corbin

Corbin is a contributor.

Pages to work on

• categorical combinator?, explaining Curien and Hagino
• Cheng morality?, maybe? The original paper is important, but not sure of the name. Contrast with e.g. Pirsig morality?, which definitely is not as relevant.
• complexity class
• complexity theory
• Haskell really should be clarified when it comes to category theory. At least Fast & Loose and Hask should be linked.
• Impagliazzo's five worlds?, the hidden gem of complexity theory
• meros
• Shutt expressiveness? and Shutt abstraction?, based on Shutt’s writings about abstractive power
• Separation axiom and topological vector space could have zaha-style diagrams, see this conversation for details.
• timed set, from the paper “Timed Sets, Functional Complexity, and Computability”
• TurCat?, maybe? This is the category where each object is a Turing category and the arrows are functors which preserve restriction structure. It’s a full subcategory of RCat?, where each object is a restriction category.