:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Banakh, Taras
Format:	Preprint
Publié:	2020
Sujets:	Logic Category Theory
Accès en ligne:	https://arxiv.org/abs/2006.01613
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Condensed Sets and the Solovay Model
par: Bannister, Nathaniel, et autres
Publié: (2026)

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

Formal Model Theory & Higher Topology
par: Di Liberti, Ivan
Publié: (2020)

An Introduction to Categorical Proof Theory
par: Tabatabai, Amirhossein Akbar
Publié: (2024)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
par: Rosset, Aloïs, et autres
Publié: (2024)

Displayed Type Theory and Semi-Simplicial Types
par: Kolomatskaia, Astra, et autres
Publié: (2023)

Groupoidal Realizability for Intensional Type Theory
par: Speight, Sam
Publié: (2024)

Coslice Colimits in Homotopy Type Theory
par: Hart, Perry, et autres
Publié: (2024)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Modest Sets are Equivalent to PERs
par: Chhabra, Rahul
Publié: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

Basic Category Theory
par: Leinster, Tom
Publié: (2016)

The Formal Theory of Monads, Univalently
par: van der Weide, Niels
Publié: (2022)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Path Types in Algebraic Type Theory
par: Awodey, Steve, et autres
Publié: (2026)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Correspondence between Composite Theories and Distributive Laws
par: Rosset, Aloïs, et autres
Publié: (2024)

Proceedings Eighth International Conference on Applied Category Theory
par: Hadzihasanovic, Amar, et autres
Publié: (2026)

Evidential Decision Theory via Partial Markov Categories
par: Di Lavore, Elena, et autres
Publié: (2023)

A Fibrational Theory of First Order Differential Structures
par: Capucci, Matteo, et autres
Publié: (2024)

On the Existence and Disjunction Properties in Structural Set Theory
par: Saving, Mark
Publié: (2023)

Classical Distributive Restriction Categories
par: Cockett, Robin, et autres
Publié: (2023)

Scoped Effects as Parameterized Algebraic Theories
par: Matache, Cristina, et autres
Publié: (2024)

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

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

For Generalised Algebraic Theories, Two Sorts Are Enough
par: Avrillon, Samy, et autres
Publié: (2026)

Monoidal Context Theory
par: Román, Mario
Publié: (2024)

Notes on Category Theory with examples from basic mathematics
par: Perrone, Paolo
Publié: (2019)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)

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

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
par: Ghica, Dan R., et autres
Publié: (2022)

Homological Invariants of Higher-Order Equational Theories
par: Ikebuchi, Mirai
Publié: (2025)

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

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

Various topos of types constructions
par: Kanalas, Kristóf
Publié: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
par: Reizi, Higuchi Joaquim
Publié: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

What can Topology tell us about Logical Complexity?
par: Kihara, Takayuki, et autres
Publié: (2026)