DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Category of elements
Category of elements
Category Theory
Quasi-Categories Vs Simplicial Categories
Lecture Notes on Simplicial Homotopy Theory
A Simplicial Set Is a Functor X : a Op → Set, Ie. a Contravariant Set-Valued
On the Geometric Realization of Dendroidal Sets
The Multitopic Ω–Category of All Multitopic Ω–Categories by M. Makkai (Mcgill University) September 2, 1999; Corrected: June 5, 2004
Ends and Coends
Theories of Presheaf Type
Discrete Double Fibrations
Basic Category Theory
Categorical Notions of Fibration
Category Theory and Its Applications - ITI9200
A Leisurely Introduction to Simplicial Sets
Category Theory: a Gentle Introduction
Arxiv:1304.6871V3 [Math.CT] 3 Jun 2014 the Homotopical Behavior of Limits Or Colimits of Diagrams of a fixed Shape Is Somewhat Subtle
Categories of Diagrams
GLUING MODELS of TYPE THEORY ALONG FLAT FUNCTORS 1. I Most
Concepts Are Kan Extensions”: Kan Extensions As the Most Universal of the Universal Constructions
Top View
Enriched Accessible Categories
Globular Multicategories with Homomorphism Types from ∞-Cosmoi Which Retain This Higher Dimensional Data
Distributors at Work
Yoneda Theory for Double Categories
Comprehensive Factorisation Systems
Arxiv:2009.05545V2 [Math.CT] 23 Jun 2021
Constructive Homotopy Theory of Marked Semisimplicial Sets 2
Quantum Event Structures from the Perspective of Grothendieck Topoi
Categories of Spaces Built from Local Models
Complex Systems from the Perspective of Category Theory
Functor,” and “Functor” Has Been Defined in Order to Be Able to Define “Natural Transformation.” - Mac Lane Chapter 1
A Survey of Categorical Concepts
CATEGORIES with SLICING Introduction
Discrete 2-Fibrations
18.S996S13 Textbook: Basic Category Theory
A 2-Categories Companion
Fibrations of Categories
Table of Contents, Note to the Reader, and Index
The Over-Topos at a Model in the General Case, Where the Base Topos in Which the Given Model Lives Is an Arbitrary Grothendieck Topos
The 2-Monadic Theory of Operadic Multicategories
An Elementary Account of Flat 2-Functors
Towards Theory and Applications of Generalized Categories to Areas Of
LECTURE NOTES on CATEGORY THEORY 1. Yoneda Lemma We Will
Higher-Dimensional Category Theory: Opetopic Foundations
Event Structures As Presheaves
18.S996S13 Textbook: Category Theory for Scientists
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
A Vision for Natural Type Eory