Cover Image

Simplicial Perspectives on (Pseudo) Effect Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lachman, Dominik
Format:	Preprint
Published:	2025
Subjects:	Category Theory 03G12, 18N50, 18B10, 08A55
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Simplicial sets in topology, category theory, and beyond
by: Bergner, Julia E.
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

Partial algebras and implications of (weak) matrix properties
by: Hoefnagel, Michael, et al.
Published: (2024)

The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)

Homological Lemmas in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2024)

Homologie polygraphique des systèmes locaux
by: Guetta, Léonard, et al.
Published: (2023)

Double categories of relations relative to factorisation systems
by: Hoshino, Keisuke, et al.
Published: (2023)

Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Symmetric monoidal extensions and graph cobordisms between finite sets
by: Bianchi, Andrea
Published: (2025)

Simplicial Approach to Frobenius Algebras in the Category of Relations
by: Lachman, Dominik
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

Simplicial properadic homotopy
by: Hoffbeck, Eric, et al.
Published: (2025)

Cartesian double theories: A double-categorical framework for categorical doctrines
by: Lambert, Michael, et al.
Published: (2023)

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

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

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Cech cohomology of partially ordered sets
by: Husainov, Ahmet A.
Published: (2023)

Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)

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

Unitary magma actions
by: Martins-Ferreira, Nelson
Published: (2024)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

A Model Categoric Equivalence for Crossed Simplicial Modules
by: Kaya, Haydar Can, et al.
Published: (2024)

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

Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Beck-Chevalley Conditions in Simplicial Sets
by: Chakhvashvili, Gaga
Published: (2025)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

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

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

On tested Bousfield-Friedlander localizations
by: Taggart, Niall
Published: (2025)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)