:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Banakh, Taras
Format:	Preprint
Published:	2020
Subjects:	Logic Category Theory
Online Access:	https://arxiv.org/abs/2006.01613
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

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

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

Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)

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

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

Modest Sets are Equivalent to PERs
by: Chhabra, Rahul
Published: (2024)

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

Basic Category Theory
by: Leinster, Tom
Published: (2016)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

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

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

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

A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)

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

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

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

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

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

Classical Distributive Restriction Categories
by: Cockett, Robin, et al.
Published: (2023)

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

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

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

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

Monoidal Context Theory
by: Román, Mario
Published: (2024)

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

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

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

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

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

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

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

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

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

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

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

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