AI Chat AI Image Generator AI Video Text to Speech

Internal Category with Families in Presheaves

03/02/2021

∙

by Jason Z. S. Hu, et al.

∙

∙

In this note, we review a construction of category with families (CwF) in a presheaf category. When the base category of a presheaf category is a CwF, we internalize this CwF structure in the CwF of the presheaf category. This note assumes working knowledge on category theory.

page 1

page 2

page 3

page 4

research

∙ 12/15/2020

A Note on Generalized Algebraic Theories and Categories with Families

We give a new syntax independent definition of the notion of a generaliz...

0 Marc Bezem, et al. ∙

research

∙ 03/01/2021

Learners' languages

In "Backprop as functor", the authors show that the fundamental elements...

0 David I. Spivak, et al. ∙

research

∙ 09/03/2023

The Information Geometry of UMAP

In this note we highlight some connections of UMAP to the basic principl...

0 Alexander Kolpakov, et al. ∙

research

∙ 08/06/2019

Generalized Lens Categories via functors C^ op→Cat

Lenses have a rich history and have recently received a great deal of at...

0 David I. Spivak, et al. ∙

research

∙ 06/09/2009

Toward a Category Theory Design of Ontological Knowledge Bases

I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_a...

0 Nikolaj Glazunov, et al. ∙

research

∙ 07/30/2018

Who needs category theory?

In computer science, category theory remains a contentious issue, with e...

1 Andreas Blass, et al. ∙

research

∙ 09/14/2020

Proceedings Applied Category Theory 2019

Applied Category Theory is a new conference series. All papers are caref...

0 John Baez, et al. ∙