Buchumschlag

Simplicial Perspectives on (Pseudo) Effect Algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lachman, Dominik
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory 03G12, 18N50, 18B10, 08A55
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial sets in topology, category theory, and beyond
von: Bergner, Julia E.
Veröffentlicht: (2024)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

Partial algebras and implications of (weak) matrix properties
von: Hoefnagel, Michael, et al.
Veröffentlicht: (2024)

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Culf maps and edgewise subdivision
von: Hackney, Philip, et al.
Veröffentlicht: (2022)

Homological Lemmas in a Non-pointed Context
von: Cappelletti, Andrea, et al.
Veröffentlicht: (2024)

Homologie polygraphique des systèmes locaux
von: Guetta, Léonard, et al.
Veröffentlicht: (2023)

Double categories of relations relative to factorisation systems
von: Hoshino, Keisuke, et al.
Veröffentlicht: (2023)

Examples and cofibrant generation of effective Kan fibrations
von: Berg, Benno van den, et al.
Veröffentlicht: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Symmetric monoidal extensions and graph cobordisms between finite sets
von: Bianchi, Andrea
Veröffentlicht: (2025)

Simplicial Approach to Frobenius Algebras in the Category of Relations
von: Lachman, Dominik
Veröffentlicht: (2025)

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

A comonad for Grothendieck fibrations
von: Emmenegger, Jacopo, et al.
Veröffentlicht: (2023)

The Simplicial Model of Univalent Foundations (after Voevodsky)
von: Kapulkin, Chris, et al.
Veröffentlicht: (2012)

Simplicial properadic homotopy
von: Hoffbeck, Eric, et al.
Veröffentlicht: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
von: Lambert, Michael, et al.
Veröffentlicht: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
von: van Woerkom, Wijnand, et al.
Veröffentlicht: (2024)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

Cech cohomology of partially ordered sets
von: Husainov, Ahmet A.
Veröffentlicht: (2023)

Formalizing colimits in Cat
von: Carneiro, Mario, et al.
Veröffentlicht: (2025)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
von: Kamio, Yuhi, et al.
Veröffentlicht: (2024)

Unitary magma actions
von: Martins-Ferreira, Nelson
Veröffentlicht: (2024)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

A Model Categoric Equivalence for Crossed Simplicial Modules
von: Kaya, Haydar Can, et al.
Veröffentlicht: (2024)

Exact weights and path metrics for triangulated categories and the derived category of persistence modules
von: Bubenik, Peter, et al.
Veröffentlicht: (2024)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Beck-Chevalley Conditions in Simplicial Sets
von: Chakhvashvili, Gaga
Veröffentlicht: (2025)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
von: Otten, Daniël, et al.
Veröffentlicht: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

On tested Bousfield-Friedlander localizations
von: Taggart, Niall
Veröffentlicht: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Arboreal Objects and Their Homotopy Theory
von: Kaygun, Atabey
Veröffentlicht: (2026)