• Corpus ID: 14024710

Balanced category theory

@article{Pisani2008BalancedCT,
  title={Balanced category theory},
  author={Claudio Pisani},
  journal={arXiv: Category Theory},
  year={2008}
}
  • C. Pisani
  • Published 5 February 2008
  • Mathematics
  • arXiv: Category Theory
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this axiomatization of final and initial functors and discrete (op)fibrations, concepts such as components, slices and coslices, colimits and limits, left and right adjunctible maps, dense maps and arrow intervals, can be naturally defined in $\C$, and several… 
A LOGIC FOR CATEGORIES
We present a doctrinal approach to category theory, obtained by abstract- ing from the indexed inclusion (via discrete brations and opbrations) of left and of right actions of X 2 Cat in categories
Grothendieck topologies from unique factorisation systems
This work presents a way to associate a Grothendieck site structure to a (locally presentable) category endowed with a unique factorisation system of its arrows. In particular this recovers the
A note on the Penon definition of $n$-category
We show that doubly degenerate Penon tricategories give symmetric rather than braided monoidal categories. We prove that Penon tricategories cannot give all tricategories, but we show that a slightly

References

SHOWING 1-10 OF 24 REFERENCES
Categories of categories
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those
TOPOLOGY IN A CATEGORY: COMPACTNESS
In a category with a subobject structure and a closure operator, we provide a categorical theory of compactness and perfectness which yields a number of classical results of general topology as
The comprehensive factorization of a functor
In this article we show that every functor has a factorization into an initial functor followed by a discrete O-fibration and that this factorization is functorial. Size considerations will be
Unity and identity of opposites in calculus and physics
TLDR
The description in engineering mechanics of continuous bodies that can undergo cracking is clarified by an example involving lattices, raising a new questions about the foundations of topology.
ON FUNCTORS WHICH ARE LAX EPIMORPHISMS
We show that lax epimorphisms in the category Cat are precisely the functors P : E −→ B for which the functor P ∗ :( B, Set) −→ (E, Set) of composition with P is fully faithful. We present two other
A categorical guide to separation, compactness and perfectness.
Based on a rather arbitrary class of morphisms in a category(cid:2) which play the role of (cid:3)closed maps(cid:4)(cid:2) we present a general approach to sep(cid:5) aration and compactness(cid:2)
COMPONENTS, COMPLEMENTS AND THE REFLECTION FORMULA
We illustrate the formula (#p)x = !(x/p), which gives the reflection #p of a category p : P ! X over X in discrete fibrations. One of its proofs is based on a "complement operator" which takes a
Foundations and Applications: Axiomatization and Education
TLDR
The possibility that other methods may be needed to clarify a contradiction introduced by Cantor, now embedded in mathematical practice, is discussed in section 5.
Categories of Categories, preprint, arXiv:math.CT/0709
  • Categories of Categories, preprint, arXiv:math.CT/0709
  • 2007
Components, Complements and Reflection Formulas, preprint, arXiv:math.CT/0701457
  • Components, Complements and Reflection Formulas, preprint, arXiv:math.CT/0701457
  • 2007
...
...