:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Banakh, Taras
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic Category Theory
Accesso online:	https://arxiv.org/abs/2006.01613
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Formal Model Theory & Higher Topology
di: Di Liberti, Ivan
Pubblicazione: (2020)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

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

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

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

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

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

Modest Sets are Equivalent to PERs
di: Chhabra, Rahul
Pubblicazione: (2024)

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

Basic Category Theory
di: Leinster, Tom
Pubblicazione: (2016)

The Formal Theory of Monads, Univalently
di: van der Weide, Niels
Pubblicazione: (2022)

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

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

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

A Type Theory with a Tiny Object
di: Riley, Mitchell
Pubblicazione: (2024)

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

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

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

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

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

Classical Distributive Restriction Categories
di: Cockett, Robin, et al.
Pubblicazione: (2023)

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

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

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

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

Monoidal Context Theory
di: Román, Mario
Pubblicazione: (2024)

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

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

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

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

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

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

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

Various topos of types constructions
di: Kanalas, Kristóf
Pubblicazione: (2025)

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

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

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

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