Intercategories

zbMATH Open1387.18012arXiv1412.0144MaRDI QIDQ3456331FDOQ3456331

Robert Paré, Marco Grandis

Publication date: 14 December 2015

Abstract: We introduce a 3-dimensional categorical structure which we call intercategory. This is a kind of weak triple category with three kinds of arrows, three kinds of 2-dimensional cells and one kind of 3-dimensional cells. In one dimension, the compositions are strictly associative and unitary, whereas in the other two, these laws only hold up to coherent isomorphism. The main feature is that the interchange law between the second and third compositions does not hold, but rather there is a non invertible comparison cell which satisfies some coherence conditions. We introduce appropriate morphisms of intercategory, of which there are three types, and cells relating these. We show that these fit together to produce a strict triple category of intercategories.

Full work available at URL: https://arxiv.org/abs/1412.0144

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

2-categorydouble categoryinterchange lawtriple categoryintercategoryLax and colax functor

Mathematics Subject Classification ID

Cited In (13)

• A pasting theorem for iterated Segal spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Gray monoidal product of double categories
• Discrete 2-fibrations
• Title not available (Why is that?)
• Category IFuz and wtopos
• Intercategories: a framework for three-dimensional category theory
• Title not available (Why is that?)
• Spans of cospans
• Spans of cospans in a topos
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Intercategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3456331)