:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Espíndola, Christian, Kanalas, Kristóf
Format:	Preprint
Published:	2023
Subjects:	Category Theory
Online Access:	https://arxiv.org/abs/2312.12356
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Positively closed $Sh(B)$-valued models
by: Kanalas, Kristóf
Published: (2024)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
by: Kanalas, Kristóf
Published: (2023)

The eventual image
by: Leinster, Tom
Published: (2022)

Polynomials in homotopy type theory as a Kleisli category
by: Harington, Elies, et al.
Published: (2024)

Polynomial functors in π-clans for the semantics of type theory
by: Hua, Joseph, et al.
Published: (2026)

Discrete differential geometry in homotopy type theory
by: Langmead, Greg
Published: (2025)

Every motive is the motive of a stable $\infty$-category
by: Ramzi, Maxime, et al.
Published: (2025)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Semantics of multimodal adjoint type theory
by: Shulman, Michael
Published: (2023)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

Diagrammatic category theory
by: Nakahira, Kenji
Published: (2023)

Discrete equational theories
by: Rosický, Jiří
Published: (2022)

The theory and applications of anticolimits
by: Tataru, Calin, et al.
Published: (2024)

Building pretorsion theories from torsion theories
by: Campanini, Federico, et al.
Published: (2023)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Distributive laws for Lawvere theories
by: Cheng, Eugenia
Published: (2011)

Discrete Lawvere theories and monads
by: Rosický, Jiří
Published: (2024)

Relative cluster tilting theory and $τ$-tilting theory
by: Liu, Yu, et al.
Published: (2024)

Calculating monad transformers with category theory
by: Manzyuk, Oleksandr
Published: (2025)

Some aspects of descent theory and applications
by: Prezado, Rui
Published: (2025)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Towards a double operadic theory of systems
by: Libkind, Sophie, et al.
Published: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Computads for weak $ω$-categories as an inductive type
by: Dean, Christopher J., et al.
Published: (2022)

Bass-Serre theory for groupoids
by: Verme, Giulia dal, et al.
Published: (2021)

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

Enriched Morita theory of monoids in a closed symmetric monoidal category
by: Lee, Jaehyeok, et al.
Published: (2023)

A monoidal category of dependently sorted algebraic theories II: categorical aspects
by: Almeida, Daniel
Published: (2026)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Deformations of homotopy theories via algebraic theories
by: Balderrama, William
Published: (2021)

Extriangulated length categories: torsion classes and $τ$-tilting theory
by: Wang, Li, et al.
Published: (2025)

Free monad sequences and extension operations
by: Sattler, Christian
Published: (2025)