:: Library Catalog

Imatge de la portada

Guardat en:

Dades bibliogràfiques
Autor principal:	Banakh, Taras
Format:	Preprint
Publicat:	2020
Matèries:	Logic Category Theory
Accés en línia:	https://arxiv.org/abs/2006.01613
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Condensed Sets and the Solovay Model
per: Bannister, Nathaniel, et al.
Publicat: (2026)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
per: Ellerman, David
Publicat: (2020)

Formal Model Theory & Higher Topology
per: Di Liberti, Ivan
Publicat: (2020)

An Introduction to Categorical Proof Theory
per: Tabatabai, Amirhossein Akbar
Publicat: (2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
per: Rosset, Aloïs, et al.
Publicat: (2024)

Displayed Type Theory and Semi-Simplicial Types
per: Kolomatskaia, Astra, et al.
Publicat: (2023)

Groupoidal Realizability for Intensional Type Theory
per: Speight, Sam
Publicat: (2024)

Coslice Colimits in Homotopy Type Theory
per: Hart, Perry, et al.
Publicat: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
per: Abramsky, Samson, et al.
Publicat: (2021)

Modest Sets are Equivalent to PERs
per: Chhabra, Rahul
Publicat: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
per: Kapulkin, Chris, et al.
Publicat: (2025)

Basic Category Theory
per: Leinster, Tom
Publicat: (2016)

The Formal Theory of Monads, Univalently
per: van der Weide, Niels
Publicat: (2022)

Impredicativity in Linear Dependent Type Theory
per: Speight, Sam, et al.
Publicat: (2026)

Path Types in Algebraic Type Theory
per: Awodey, Steve, et al.
Publicat: (2026)

Synthetic 1-Categories in Directed Type Theory
per: Altenkirch, Thorsten, et al.
Publicat: (2024)

A Type Theory with a Tiny Object
per: Riley, Mitchell
Publicat: (2024)

Correspondence between Composite Theories and Distributive Laws
per: Rosset, Aloïs, et al.
Publicat: (2024)

Proceedings Eighth International Conference on Applied Category Theory
per: Hadzihasanovic, Amar, et al.
Publicat: (2026)

Evidential Decision Theory via Partial Markov Categories
per: Di Lavore, Elena, et al.
Publicat: (2023)

A Fibrational Theory of First Order Differential Structures
per: Capucci, Matteo, et al.
Publicat: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
per: Saving, Mark
Publicat: (2023)

Classical Distributive Restriction Categories
per: Cockett, Robin, et al.
Publicat: (2023)

Scoped Effects as Parameterized Algebraic Theories
per: Matache, Cristina, et al.
Publicat: (2024)

Foundations of Substructural Dependent Type Theory
per: Aberlé, C. B.
Publicat: (2024)

Polynomial Universes in Homotopy Type Theory
per: Aberlé, C. B., et al.
Publicat: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
per: Avrillon, Samy, et al.
Publicat: (2026)

Monoidal Context Theory
per: Román, Mario
Publicat: (2024)

Notes on Category Theory with examples from basic mathematics
per: Perrone, Paolo
Publicat: (2019)

From Semantics to Syntax: A Type Theory for Comprehension Categories
per: Najmaei, Niyousha, et al.
Publicat: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
per: Aberlé, C. B.
Publicat: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
per: Ghica, Dan R., et al.
Publicat: (2022)

Homological Invariants of Higher-Order Equational Theories
per: Ikebuchi, Mirai
Publicat: (2025)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
per: El Youssoufi M'nari, Omar
Publicat: (2025)

The Filter Reflection Condition: Structural Symmetry and Categorical Equivalence in Topos Theory.
per: El Youssoufi M'nari, Omar
Publicat: (2025)

Various topos of types constructions
per: Kanalas, Kristóf
Publicat: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
per: Reizi, Higuchi Joaquim
Publicat: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
per: Rogozin, Daniel
Publicat: (2025)

A constructive approach to the double-categorical small object argument
per: Berg, Benno van den, et al.
Publicat: (2025)

What can Topology tell us about Logical Complexity?
per: Kihara, Takayuki, et al.
Publicat: (2026)