Categories for Me, and You?

10/11/2019
by   Clément Aubert, et al.
0

A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the pseudo-cartesian structure on Eilenberg-Moore categories. References and proofs are provided, sometimes, to my knowledge, for the first time.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/04/2023

Optics for Premonoidal Categories

We further the theory of optics or "circuits-with-holes" to encompass pr...
research
07/06/2020

An interpretation of dependent type theory in a model category of locally cartesian closed categories

Locally cartesian closed (lcc) categories are natural categorical models...
research
12/19/2020

Syntactic categories for dependent type theory: sketching and adequacy

We argue that locally Cartesian closed categories form a suitable doctri...
research
09/14/2017

General problem solving with category theory

This paper proposes a formal cognitive framework for problem solving bas...
research
04/12/2023

Filler Word Detection with Hard Category Mining and Inter-Category Focal Loss

Filler words like “um" or “uh" are common in spontaneous speech. It is d...
research
12/23/2019

Notes on Category Theory with examples from basic mathematics

These notes were originally developed as lecture notes for a category th...
research
04/16/2019

A Pattern-Hierarchy Classifier for Reduced Teaching

This paper uses a branching classifier mechanism in an unsupervised scen...

Please sign up or login with your details

Forgot password? Click here to reset