Coherence in smccs and equivalences on derivations in imll with unit

Mehats, Laurent; Soloviev, Sergei

doi:10.1016/j.apal.2007.03.005

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2010

2021

Publication Types

Select...

Article2

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We hope that our results could interact with research concerning the problem of full coherence for closed categories (see [23], [24] and [19]), where sometimes (cf. [24,Lemma 2.7]) the role of biproducts is evident.…”

Section: Introductionmentioning

confidence: 99%

Coherence for closed categories with biproducts

Petric¹,

Zekić²

2020

Preprint

View full text Add to dashboard Cite

show abstract

Section: Introductionmentioning

confidence: 99%

Coherence for closed categories with biproducts

Petric¹,

Zekić²

2020

Preprint

View full text Add to dashboard Cite

show abstract

Categorical interpretation of logical derivations and its applications in algebra

et al. 2010

View full text Add to dashboard Cite

We consider certain applications of proof theory to the study of algebraic categories. The case usually studied in the literature is that of free categories with an additional structure. In this paper, we consider several problems in nonfree categories, such as the problem of full coherence, the problem of dependency of diagrams, the problem of description of arbitrary natural transformations, which show that the applications of proof theory to categories may go much farther. Bibliography: 18 titles.

show abstract

Coherence for closed categories with biproducts

Petric

Zekić

2021

Journal of Pure and Applied Algebra

View full text Add to dashboard Cite

Coherence in smccs and equivalences on derivations in imll with unit

Cited by 3 publications

References 26 publications

Coherence for closed categories with biproducts

Coherence for closed categories with biproducts

Categorical interpretation of logical derivations and its applications in algebra

Coherence for closed categories with biproducts

Contact Info

Product

Resources

About