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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

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...
12/19/2020

Syntactic categories for dependent type theory: sketching and adequacy

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

On bifibrations of model categories

In this article, we develop a notion of Quillen bifibration which combin...
12/23/2019

Notes on Category Theory with examples from basic mathematics

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

A Pattern-Hierarchy Classifier for Reduced Teaching

This paper uses a branching classifier mechanism in an unsupervised scen...
11/22/2021

Functorial aggregation

Aggregating data in a database could also be called "integrating along f...
01/12/2018

Forest Categories

We extend Tilson's theory of the algebra of finite categories, in partic...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.