Non-canonical isomorphisms

@article{Lack2009NoncanonicalI,
  title={Non-canonical isomorphisms},
  author={Stephen Lack},
  journal={Journal of Pure and Applied Algebra},
  year={2009},
  volume={216},
  pages={593-597}
}
  • S. Lack
  • Published 10 December 2009
  • Mathematics
  • Journal of Pure and Applied Algebra

Pseudoalgebras and Non-canonical Isomorphisms

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

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

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

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.

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

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

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

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

Semi-localizations of semi-abelian categories

References

SHOWING 1-4 OF 4 REFERENCES

Introduction to extensive and distributive categories

Introduction to distributive categories

  • J. Cockett
  • Mathematics
    Mathematical 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

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