## 10 Citations

### Pseudoalgebras and Non-canonical Isomorphisms

- MathematicsAppl. Categorical Struct.
- 2019

This result encompasses several results on non-canonical isomorphisms, including Lack's result on normal monoidal functors between braided monoidal categories, since it is applicable in any $2-category of pseudoalgebras, such as the $2$-categories of monoidal Categories, cocomplete categories, pseudofunctors and so on.

### Some remarks on multicategories and additive categories

- Mathematics
- 2013

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the…

### Categories with countable biproducts are models of the partially additive categories introduced by Manes and Arbib

- Mathematics
- 2014

A category C with (countable) biproducts admits summation of countable families of arrows. If this summation is also idempotent, then a version of limit-colimit coincidence holds. In particular, for…

### Pseudoalgebras and Non-canonical Isomorphisms

- MathematicsApplied Categorical Structures
- 2018

Given a pseudomonad $$\mathcal {T}$$T, we prove that a lax $$\mathcal {T}$$T-morphism between pseudoalgebras is a $$\mathcal {T}$$T-pseudomorphism if and only if there is a suitable (possibly…

### Homological Algebra of Heyting modules.

- Mathematics
- 2018

The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be…

### ON BIPRODUCTS AND TERMINAL COALGEBRAS

- Mathematics
- 2014

Categories with countable biproducts are models of the partially additive categories introduced by Manes and Arbib ([3]) as an algebraic semantics for programming languages. They have been also shown…

### Pseudoalgebras and Non-canonical Isomorphisms

- Materials ScienceApplied Categorical Structures
- 2018

Given a pseudomonad T\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek}…

### Endomorphisms of the symmetric 2-rig of finite sets

- Mathematics
- 2019

Let $\widehat{\mathbb{F}\mathbb{S}et}$ be the groupoid of finite sets and bijections between them equipped with the canonical symmetric rig category structure given by the disjoint union and the…

## References

SHOWING 1-4 OF 4 REFERENCES

### Introduction to distributive categories

- MathematicsMathematical Structures in Computer Science
- 1993

This paper describes a series of embedding theorems, which show that any distributive category has a full faithful embedding into a recognizable distributivecategory, and which can be "solidified" faithfully to produce an extensive distributive categories.

### On braided tensor categories

- Mathematics
- 1994

We investigate invertible elements and gradings in braided tensor categories. This leads us to the definition of theta-, product-, subgrading and orbitcategories in order to construct new families of…