Basic Category Theory
Fuente:
arXiv
Guardado en:
| Autor principal: | Leinster, Tom |
|---|---|
| Formato: | Preprint |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Path Types in Algebraic Type Theory
por: Awodey, Steve, et al.
Publicado: (2026)
por: Awodey, Steve, et al.
Publicado: (2026)
Manifold Diagrams for Higher Categories
por: Heidemann, Lukas
Publicado: (2024)
por: Heidemann, Lukas
Publicado: (2024)
Modal Fracture of Higher Groups
por: Myers, David Jaz
Publicado: (2021)
por: Myers, David Jaz
Publicado: (2021)
Higher presentable categories and limits
por: Aoki, Ko
Publicado: (2025)
por: Aoki, Ko
Publicado: (2025)
Choice axioms and Postnikov completeness
por: Anel, Mathieu, et al.
Publicado: (2024)
por: Anel, Mathieu, et al.
Publicado: (2024)
Interpreting type theory in a quasicategory: a Yoneda approach
por: Cherradi, El Mehdi
Publicado: (2022)
por: Cherradi, El Mehdi
Publicado: (2022)
Elementary $\infty$-toposes from type theory
por: Apol, Daniël, et al.
Publicado: (2025)
por: Apol, Daniël, et al.
Publicado: (2025)
Higher geometric sheaf theories
por: Stenzel, Raffael
Publicado: (2022)
por: Stenzel, Raffael
Publicado: (2022)
$2$-dimensional Lawvere theories: commutativity and lax phenomena
por: Perutka, Tomáš
Publicado: (2026)
por: Perutka, Tomáš
Publicado: (2026)
Internal languages of locally cartesian closed $(\infty,1)$-categories
por: Cherradi, El Mehdi
Publicado: (2025)
por: Cherradi, El Mehdi
Publicado: (2025)
Non-trivial higher homotopy of first-order theories
por: Campion, Tim, et al.
Publicado: (2023)
por: Campion, Tim, et al.
Publicado: (2023)
Epimorphisms and Acyclic Types in Univalent Foundations
por: Buchholtz, Ulrik, et al.
Publicado: (2024)
por: Buchholtz, Ulrik, et al.
Publicado: (2024)
Oriented Category Theory
por: Gepner, David, et al.
Publicado: (2025)
por: Gepner, David, et al.
Publicado: (2025)
Monoidal Relative Categories Model Monoidal $\infty$-Categories
por: Arakawa, Kensuke
Publicado: (2025)
por: Arakawa, Kensuke
Publicado: (2025)
Twisted Graded Categories
por: Keidar, Shai, et al.
Publicado: (2025)
por: Keidar, Shai, et al.
Publicado: (2025)
Presentation of finite Reedy categories as localizations of finite direct categories
por: Sato, Genki
Publicado: (2025)
por: Sato, Genki
Publicado: (2025)
Model Categories and the Higher Riemann-Hilbert Correspondence
por: Galvin, Callum
Publicado: (2025)
por: Galvin, Callum
Publicado: (2025)
Homotopy Posets, Postnikov Towers, and Hypercompletions of $\infty$-Categories
por: Gepner, David, et al.
Publicado: (2026)
por: Gepner, David, et al.
Publicado: (2026)
Baues-Wirsching Cohomology and Svarc Genus in Small Categories
por: Carcacía-Campos, Isaac, et al.
Publicado: (2025)
por: Carcacía-Campos, Isaac, et al.
Publicado: (2025)
The Grothendieck Construction for $\infty$-Categories Fibered over Categorical Patterns
por: Arakawa, Kensuke
Publicado: (2024)
por: Arakawa, Kensuke
Publicado: (2024)
From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories
por: Klang, Inbar, et al.
Publicado: (2025)
por: Klang, Inbar, et al.
Publicado: (2025)
Framed Polytopes and Higher Categories
por: Laplante-Anfossi, Guillaume, et al.
Publicado: (2025)
por: Laplante-Anfossi, Guillaume, et al.
Publicado: (2025)
Arrow Categories of Monoidal Model Categories
por: White, David, et al.
Publicado: (2017)
por: White, David, et al.
Publicado: (2017)
Drinfeld-Lau Descent over Fibered Categories
por: Di Proietto, Valentina, et al.
Publicado: (2020)
por: Di Proietto, Valentina, et al.
Publicado: (2020)
The eventual image
por: Leinster, Tom
Publicado: (2022)
por: Leinster, Tom
Publicado: (2022)
Approximate Fibrations in Higher Topos Theory
por: Kremer, Christian, et al.
Publicado: (2025)
por: Kremer, Christian, et al.
Publicado: (2025)
An $\infty$-Category of 2-Segal Spaces
por: Gödicke, Jonte
Publicado: (2024)
por: Gödicke, Jonte
Publicado: (2024)
Smith Ideals of Operadic Algebras in Monoidal Model Categories
por: White, David, et al.
Publicado: (2017)
por: White, David, et al.
Publicado: (2017)
On the Mac Lane $Q$-Construction for Exact $\infty$-Categories
por: Aldrovandi, Ettore, et al.
Publicado: (2025)
por: Aldrovandi, Ettore, et al.
Publicado: (2025)
Geometric Categories and Sheaves on Topoi
por: Bass, Connor
Publicado: (2026)
por: Bass, Connor
Publicado: (2026)
Overlap Algebras as Almost Discrete Locales
por: Ciraulo, Francesco
Publicado: (2016)
por: Ciraulo, Francesco
Publicado: (2016)
Reflecting compact $T_1$-spaces into bounded distributive lattices
por: Gehrke, Mai, et al.
Publicado: (2024)
por: Gehrke, Mai, et al.
Publicado: (2024)
Codensity: Isbell duality, pro-objects, compactness and accessibility
por: Di Liberti, Ivan
Publicado: (2019)
por: Di Liberti, Ivan
Publicado: (2019)
A type-theoretic definition of lax $(\infty,\infty)$-limits
por: Mikhail, Thomas Jan
Publicado: (2024)
por: Mikhail, Thomas Jan
Publicado: (2024)
On the $\infty$-categorical Whitehead theorem and the embedding of quasicategories in prederivators
por: Arlin, Kevin
Publicado: (2016)
por: Arlin, Kevin
Publicado: (2016)
Flat functors in the context of fibration categories
por: Cherradi, El Mehdi
Publicado: (2026)
por: Cherradi, El Mehdi
Publicado: (2026)
3-Crossed modules, Quasi-categories, and the Moore complex
por: Fukuda, Masaki, et al.
Publicado: (2025)
por: Fukuda, Masaki, et al.
Publicado: (2025)
Fully-Dualizable and Invertible $\mathcal{E}_n$-Algebras
por: Vazquez, Pablo Bustillo
Publicado: (2026)
por: Vazquez, Pablo Bustillo
Publicado: (2026)
$(\infty,2)$-Topoi and descent
por: Abellán, Fernando, et al.
Publicado: (2024)
por: Abellán, Fernando, et al.
Publicado: (2024)
Path spaces of pushouts
por: Wärn, David
Publicado: (2024)
por: Wärn, David
Publicado: (2024)
Ejemplares similares
-
Path Types in Algebraic Type Theory
por: Awodey, Steve, et al.
Publicado: (2026) -
Manifold Diagrams for Higher Categories
por: Heidemann, Lukas
Publicado: (2024) -
Modal Fracture of Higher Groups
por: Myers, David Jaz
Publicado: (2021) -
Higher presentable categories and limits
por: Aoki, Ko
Publicado: (2025) -
Choice axioms and Postnikov completeness
por: Anel, Mathieu, et al.
Publicado: (2024)