Q6161780
type: Item
instance of: scholarly article
zbMATH Open document ID: 1520.18002
arXiv ID: 2009.07302
author: Carmen M. Constantin
author: Tobias Fritz
author: Paolo Perrone
author: Brandon T. Shapiro
publication date: 2023-06-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/2009.07302
full work available at URL: 39-11abs.html
Mathematics Subject Classification ID: 18C15
zbMATH DE Number: 7692241
zbMATH Keywords: partial evaluation
zbMATH Keywords: bar construction
zbMATH Keywords: monads
zbMATH Keywords: simplicial sets
MaRDI profile type: MaRDI publication profile
cites work: The Eckmann-Hilton argument and higher operads
cites work: Q4314472
cites work: Q4827951
cites work: Bar constructions for topological operads and the {G}oodwillie derivatives of the identity
cites work: The monads of classical algebra are seldom weakly Cartesian
cites work: Monads, partial evaluations, and rewriting
cites work: Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
cites work: Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
cites work: Q4700998
cites work: Wagner’s Theory of Generalised Heaps
cites work: Q3752561
cites work: Quasi-categories and Kan complexes
cites work: The incidence comodule bialgebra of the Baez-Dolan construction
cites work: Q3159161
cites work: Category-theoretic structure for independence and conditional independence
cites work: Theories of analytic monads
cites work: Q3156505
cites work: Internal algebra classifiers as codescent objects of crossed internal categories
Recommended article: On the Indecomposable Elements of the Bar Construction
Recommended article: Constructions around Partialities
Recommended article: Q4390816
Recommended article: Constructive characterizations of bar subsets
Recommended article: Q3711735
Recommended article: Completeness of intuitionistic predicate calculus with the concept of ''bar''
Recommended article: Bar recursion over finite partial functions
Recommended article: Mappings of bar constructions
Recommended article: A computational formalization for partial evaluation
Recommended article: Characterizations of the disjunctive stable semantics by partial evaluation
description: scientific article; zbMATH DE number 7692241