• Corpus ID: 14024710

Balanced category theory

  title={Balanced category theory},
  author={Claudio Pisani},
  journal={arXiv: Category Theory},
  • 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… 
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


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
The Category of Categories as a Foundation for Mathematics
In the mathematical development of recent decades one sees clearly the rise of the conviction that the relevant properties of mathematical objects are those which can be stated in terms of their
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
Handbook Of Categorical Algebra 1 Basic Category Theory
Category theory is the key to a clear presentation of modern abstract "Basic Category Theory for Computer Scientists" by Benjamin C. Pierce (1991). "Handbook of Categorical Algebra" by Francis
A categorical guide to separation, compactness and perfectness.
Based on a rather arbitrary class of morphisms in a category, which play the role of “closed maps”, we present a general approach to separation and compactness, both at the object and the morphism
Unity and identity of opposites in calculus and physics
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.
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
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
The convergence approach to exponentiable maps.
Exponentiable maps in the category Top of topological spaces are characterized by an easy ultrafilter-interpolation property, in generalization of a recent result by Pisani for spaces. From this